code {
       CREATE_CONTRACT
         { code { DROP ; UNIT ; NIL operation ; PAIR } ;
           storage unit ;
           parameter unit }
     } ;
input {
        Stack_elt (option key_hash) (Some "tz1NwQ6hkenkn6aYYio8VnJvjtb4K1pfeU1Z") ;
        Stack_elt mutez 12 ;
        Stack_elt unit Unit
      } ;
output {
         Stack_elt
           operation
           (Create_contract
              { code { DROP ; UNIT ; NIL operation ; PAIR } ; storage unit ; parameter unit }
              (Some "tz1NwQ6hkenkn6aYYio8VnJvjtb4K1pfeU1Z")
              12
              Unit
              _
           ) ;
         Stack_elt address _
       }