let mk_rneg       = "neg_int"