/gnu/egcs/gcc/config/ns32k/