external cross    : t -> t -> t = "vec3_cross"