blob: d1ebbf69b70c989f9c1efe070701e8975663f2d8 [file] [log] [blame]
SKIP: FAILED
void main_1() {
x_1 = 42u;
}
void main() {
main_1();
}