gcc/gcc/config/we32k
