let
acsl_base_addr p =
let
name = check_acsl_name
"\\base_addr"
in
Fol
.
Tapp
(name, [p])