session ftell_Why3_ide = NTP4Verif +
theories
  "ftell_Why3_ide_VCftell_call_lseek_pre_goal1"
  "ftell_Why3_ide_VCftell_post_part1_goal0"
