let
mk_access_pointer p _t = access p