external pre_mult4  : Vec4.t -> t -> Vec4.t = "matrix_pre_mult4"