protocol "MI_example"; include "RubySlicc_interfaces.slicc"; include "MI_example-msg.sm"; include "MI_example-cache.sm"; include "MI_example-dir.sm"; include "MI_example-dma.sm";