protocol "MOESI_CMP_directory"; include "RubySlicc_interfaces.slicc"; include "MOESI_CMP_directory-msg.sm"; include "MOESI_CMP_directory-L2cache.sm"; include "MOESI_CMP_directory-L1cache.sm"; include "MOESI_CMP_directory-dma.sm"; include "MOESI_CMP_directory-dir.sm"; include "standard_CMP-protocol.sm";