let mk_access_pointer p _t = access p