parameter unit;
storage (pair (contract unit unit) (contract unit unit));
return unit;
code { CDR; DUP; CAR; PUSH tez "5.00"; UNIT;
       TRANSFER_TOKENS; DROP; DUP; CDR;
       PUSH tez "5.00"; UNIT; TRANSFER_TOKENS; PAIR };
