let
pointer_of_loc loc = model_pointer_of_addr (addr loc)