external create          : unit -> t = "optimizer_create"