/gnu/dist/opcodes/