1void main() {
2    do {
3        sk_FragColor = half4(1);
4    } while (false);
5}
6