noinline half4 samplemaskin_as_color() {
    return half4(sk_SampleMaskIn);
}

noinline void clear_samplemask() {
    sk_SampleMask = 0;
}

noinline void reset_samplemask() {
    sk_SampleMask = sk_SampleMaskIn;
}

void main() {
    clear_samplemask();
    reset_samplemask();
    sk_SampleMask = 0xFFFFFFFF;
    sk_FragColor = samplemaskin_as_color() / 256.0;
}