session stack_full_Why3_ide = NTP4Verif +
theories
  "stack_full_Why3_ide_VCstack_full_post_full_goal0"
  "stack_full_Why3_ide_VCstack_full_post_not_full_goal1"
  "stack_full_Why3_ide_VCstack_full_assert_rte_mem_access_goal2"
