/gnu/lib/libg2c3/arch/ns32k/