let fterm_of_shift_pointer p i = (Hlib.shift_pointer p i)