src/gnu/dist/toolchain/gcc/config/we32k
