blob: 8494aef52103890c4915ae03e79237fc5e72f1ba [file] [log] [blame]
void main_1() {
const bool x_1 = (30 <= asint(20u));
return;
}
void main() {
main_1();
return;
}