session c_cursor = NTP4Verif +
sessions
  "Why3STD"
  "mach"
theories
  "ccursor_PtrCursor"
