int unknown;
void main() {
    sk_FragColor.r = 32 + 2;
    sk_FragColor.r = 32 - 2;
    sk_FragColor.r = 32 * 2;
    sk_FragColor.r = 32 / 2;
    sk_FragColor.r = 12 | 6;
    sk_FragColor.r = 254 & 7;
    sk_FragColor.r = 2 ^ 7;
    sk_FragColor.r = 1 << 4;
    sk_FragColor.r = 128 >> 2;
    sk_FragColor.r = 123 % 45;
    sk_FragColor.r = -1 == -1 ? 1 : -1;
    sk_FragColor.r = -1 == -2 ? 2 : -2;
    sk_FragColor.r = 0 != 1 ? 3 : -3;
    sk_FragColor.r = 0 != 0 ? 4 : -4;
    sk_FragColor.r = 6 > 5 ? 5 : -5;
    sk_FragColor.r = 6 > 6 ? 6 : -6;
    sk_FragColor.r = -1 < 0 ? 7 : -7;
    sk_FragColor.r = 1 < 0 ? 8 : -8;
    sk_FragColor.r = 6 >= 6 ? 9 : -9;
    sk_FragColor.r = 6 >= 7 ? 10 : -10;
    sk_FragColor.r = 6 <= 6 ? 11 : -11;
    sk_FragColor.r = 6 <= 5 ? 12 : -12;
    sk_FragColor.r = half(unknown + 0);
    sk_FragColor.r = half(0 + unknown);
    sk_FragColor.r = half(unknown - 0);
    sk_FragColor.r = half(unknown * 0);
    sk_FragColor.r = half(unknown * 1);
    sk_FragColor.r = half(1 * unknown);
    sk_FragColor.r = half(0 * unknown);
    sk_FragColor.r = half(unknown / 1);
    sk_FragColor.r = half(0 / unknown);
    int x = unknown;
    x += 1;
    x += 0;
    x -= 1;
    x -= 0;
    x *= 1;
    x *= 2;
    x /= 1;
    x /= 2;
    sk_FragColor.r = half(x);
}