Other required properties

• RegFile: none
• Reg: none
• Word: none
• Channel: none
• StateM: none (except what you get for free from its implementation)