check.lcl

falseexit void check (bool x) { modifies nothing; }