/gnu/egcs/gcc/config/we32k/