session fopen_Why3_ide = NTP4Verif +
theories
  "fopen_Why3_ide_VCfopen_call___parse_open_mode_pre_goal1"
  "fopen_Why3_ide_VCfopen_post_part3_goal0"
  "fopen_Why3_ide_VCfopen_call_fdopen_pre_goal2"
