external push_back    : t -> Vec3.t -> unit = "vec3_array_push_back"