Issue #12: add mib generator.