let make_status st = Checked {emitter = "value analysis"; valid = st}