vec4 xlat_main() {
    return vec4(1.0, 1e7, 1e-6, 1.5);
}
void main() {
    vec4 x = xlat_main();
    gl_FragData[0] = x;
    gl_FragData[1] = vec4(1.0/0.0, -1.0/0.0, 0.0/0.0, -0.0/0.0);
}