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