let pointer_update p u = Fol.Tapp("update_pointer", [p;u])