external post_mult3 : t -> Vec3.t -> Vec3.t = "matrix_post_mult3"