parameter key;
storage (pair signature string);
code {
       DUP; DUP;
       DIP{ CDR; DUP; CAR;
            DIP{CDR; PACK}};
       CAR; CHECK_SIGNATURE;
       IF {} {FAIL} ;
       CDR; NIL operation ; PAIR};