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