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 _
}