On 9/25/20, Cole Poirier <colepoirier at gmail.com> wrote: > def read_insn_word(addr, data): > word = addr[2:INSN_BITS+2] > return data.word_select(word, 32) > ``` that looks right to me.