external push_back    : t -> Vec2.t -> unit = "vec2_array_push_back"