session my_lrand48_Why3_ide = NTP4Verif +
theories
  "my_lrand48_Why3_ide_VCmy_lrand48_post_lower_goal0"
