# A contract that accepts bytes in a default entry point and does nothing. 
# Useful for testing transfers of arbitrary sizes.
parameter (or (bytes %bytes)
              (or (lambda %lambda unit unit)
                  (or (nat %nat)
                      (list %list_nat nat))));
storage   unit;
code
  {
    CDR;        # @storage
    # == default == # @storage
    NIL operation; # list operation : @storage
    PAIR;       # pair (list operation) @storage
  };