Some Experience with Testing Tools for OSI Protocol Implementations