void main() {
    do {
        sk_FragColor = half4(1);
    } while (false);
}