let exit_status env= match env.exit_status with
      | Some x -> x
      | None ->
          let x = D.fresh "exit_status" (Mdata.Vmodel Formula.Integerin
          env.exit_status <- Some x ; x