let int_base_addr p = Fol.Tapp ("int_base_addr", [p])