/gnu/dist/gdb6/sim/erc32/