smilint output for ./DISMAN-PING-MIB

No output from smilint! Must be good!