let mk_rmult      = "mult_int"