void main_1() { const bool x_1 = (asint(10u) <= 40); return; } void main() { main_1(); return; }