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