parameter (list (sapling_transaction 8));

storage (sapling_state 8);

code { UNPAIR ;

       NIL operation ;

       SWAP ;

       DIP { SWAP } ;

       AMOUNT ;

       SWAP ;

       DIP { SWAP } ;

       ITER { SAPLING_VERIFY_UPDATE ;

              IF_NONE { UNIT ; FAILWITH } {} ;

              UNPAIR ;

              SWAP ;

              UNPAIR ;

              DUP ;

              ABS ;

              PUSH mutez 1 ;

              MUL ;

              SWAP ;

              GT ;

              IF

                { DIP 2

                       { UNPACK key_hash ;

                         IF_NONE { UNIT ; FAILWITH } {} ;

                         IMPLICIT_ACCOUNT } ;

                  SWAP ;

                  DIP { UNIT ; TRANSFER_TOKENS ; SWAP ; DIP { CONS } } }

                { DIP 2 { SWAP } ;

                  DIP { SWAP } ;

                  SWAP ;

                  SUB_MUTEZ ;

                  IF_NONE { UNIT ; FAILWITH } {} ;

                  DIP 2

                       { SIZE ; PUSH nat 0 ; COMPARE ; EQ ; IF {} { UNIT ; FAILWITH } } ;

                  SWAP } } ;

       DIP { PUSH mutez 0 ; COMPARE ; EQ ; IF {} { UNIT ; FAILWITH } } ;

       SWAP ;

       PAIR }