external pre_mult3  : Vec3.t -> t -> Vec3.t = "matrix_pre_mult3"