external create' : unit -> t = "program_create"