1protocol "MSI";
2include "RubySlicc_interfaces.slicc";
3include "MSI-msg.sm";
4include "MSI-cache.sm";
5include "MSI-dir.sm";
6