/lib/libc/arch/ns32k/gen/