let
xaddr_of_pointer p =
Lptr
p