Is Microkernel Technology Well Suited for the Support of Object-Oriented Systems: The Guide Experience