Re: [TUHS] Encoding an ISA