blob: 6b387137263c1fa6c29e97c49ac06d0aa9fee65d [file] [log] [blame]
SKIP: FAILED
void main_1() {
uint[2] x_200 = (uint[2])0;
}
void main() {
main_1();
}