export uniform int width() { return programCount; }


export void f_v(uniform float RET[]) { RET[programIndex] = 12.5; }

export void result(uniform float RET[]) {
    RET[programIndex] = 12.500000;
}