/tools/tools/gensnmpdef/