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