HAT Microserver Instructions Contract (HMIC)