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