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