smilint output for ./RFC1407-MIB
No output from smilint! Must be good!