parameter address;

storage unit;

code { CAR ;

       PUSH nat 1 ;

       PUSH bytes 0x1234 ;

       SOME ;

       PUSH nat 0 ;

       PAIR ;

       TICKET ;

       IF_NONE { PUSH string "Could not mint ticket." ; FAILWITH } {} ;

       SWAP ;

       CONTRACT (or (or (pair bytes (ticket (pair nat (option bytes)))) bytes) bytes) ;

       IF_NONE { PUSH string "Invalid rollup address" ; FAILWITH } {} ;

       PUSH mutez 0 ;

       DIG 2 ;

       PUSH bytes 0xbb3cf3be97624af5ef73a68ec75f6edb1961a4f7 ;

       PUSH bytes 0xc2c7c201108a8cb5f045e22fe866a91241e8bb9a ;

       CONCAT ;

       PAIR ;

       LEFT bytes ;

       LEFT bytes ;

       TRANSFER_TOKENS ;

       UNIT ;

       NIL operation ;

       DIG 2 ;

       CONS ;

       PAIR }