let shift_pointer p i = Fol.Tapp("shift_pointer", [p; i])