let loc_of_pointer _ ptr = Addr(model_addr_of_pointer ptr)