let
loc_of_pointer _ ptr =
Addr
(model_addr_of_pointer ptr)