external push_back    : t -> Vec4.t -> unit = "vec4_array_push_back"