let
loc_of_pointer _ p =
L0ptr
p