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