parameter (string %write_message);

storage string;

code { UNPAIR ;

       DUP ;

       SIZE ;

       PUSH nat 30 ;

       SWAP ;

       COMPARE ;

       LE ;

       IF { DUP ; SIZE ; PUSH nat 3 ; SWAP ; COMPARE ; GE } { PUSH bool False } ;

       IF {} { PUSH string "invalid size message" ; FAILWITH } ;

       SWAP ;

       PUSH string " forever" ;

       DIG 2 ;

       PUSH string ", " ;

       CONCAT ;

       CONCAT ;

       SWAP ;

       CONCAT ;

       NIL operation ;

       PAIR }