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