parameter (map %add_string string string);

storage (big_map address string);

code { UNPAIR ;

       PUSH nat 0 ;

       DUP 2 ;

       PUSH string "new_resolution" ;

       GET ;

       IF_NONE { PUSH int 10 ; FAILWITH } {} ;

       SIZE ;

       COMPARE ;

       GT ;

       IF {} { PUSH string "String must not be empty." ; FAILWITH } ;

       PUSH string "new_resolution" ;

       GET ;

       IF_NONE { PUSH int 11 ; FAILWITH } {} ;

       SOME ;

       SENDER ;

       UPDATE ;

       PUSH mutez 1000000 ;

       AMOUNT ;

       COMPARE ;

       GE ;

       IF {} { PUSH string "Insufficient funds to add the resolution." ; FAILWITH } ;

       NIL operation ;

       PAIR }