void main() {
    sk_OutColor.r = half(1 % sqrt(2));
}