let pointer_of_loc loc   = model_pointer_of_addr (addr loc)