let
make_check_false () =
Checked
{ emitter =
"rte"
; valid =
False
}