smilint output for ./ROHC-UNCOMPRESSED-MIB

No output from smilint! Must be good!