Re: [COFF] [TUHS] Encoding an ISA