void main() {
    float x = 0.5, y = x * 2;
    sk_FragColor = half4(half(y));
}