external mult       : t -> t -> t = "matrix_mult"