parameter key_hash;
storage string;
return unit;
code {CAR;
      DIP{UNIT;
          LAMBDA (pair string unit)
                 (pair string unit)
                 {CAR; UNIT; SWAP; PAIR};
          PUSH tez "100.00"; PUSH bool False;
          PUSH bool False; NONE key_hash};
      CREATE_CONTRACT; DIP{PUSH string ""}; PUSH tez "0.00";
      PUSH string "abcdefg"; TRANSFER_TOKENS;
      DIP{DROP}; UNIT; PAIR};
