external post_mult4 : t -> Vec4.t -> Vec4.t = "matrix_post_mult4"