let loc_of_pointer _ p = L0ptr p