parameter (pair (sapling_transaction 8) (sapling_state 8));

storage (sapling_state 8);

code { UNPAIR ;

       UNPAIR ;

       DIP 2 { DROP } ;

       SAPLING_VERIFY_UPDATE ;

       { IF_NONE { { UNIT ; FAILWITH } } {} } ;

       UNPAIR ;

       DROP ;

       NIL operation ;

       PAIR }