parameter (pair (key %public_key) (signature %signature) (bytes %payload_bytes));

storage unit;

code { UNPAIR ;

       UNPAIR 3 ;

       CHECK_SIGNATURE ;

       IF

         { NIL operation ; PAIR }

         { DROP ; PUSH string "Invalid signature" ; FAILWITH } }