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