Interestingly, the BSV parser can insert implicit "_read" method calls in more places than BH.? For example, "tagVec[0]" can be used for the register value.? I don't recall offhand why this works, but it might be because the BSV parser doesn't desugar this into a specific indexing function but uses the typeclass "PrimSelectable" to defer the choice until more type information is available.