let
pointer_access p =
Fol
.
Tapp
(
"deref_pointer"
, [p])