parameter (or (unit %default) (option %set_delegate key_hash));

storage address;

code { UNPAIR ;

       IF_LEFT

         { DROP ;

           SENDER ;

           CONTRACT unit ;

           IF_NONE { PUSH string "none" ; FAILWITH } {} ;

           AMOUNT ;

           UNIT ;

           TRANSFER_TOKENS }

         { DUP 2 ;

           SENDER ;

           COMPARE ;

           EQ ;

           IF {} { PUSH string "failed assertion" ; FAILWITH } ;

           SET_DELEGATE } ;

       SWAP ;

       NIL operation ;

       DIG 2 ;

       CONS ;

       PAIR }