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