73,76c73
< 0x0, 0x3: decode HTOPCODE_4 {
< 0x0: WarnUnimpl::srs();
< 0x1: WarnUnimpl::rfe();
< }
---
> 0x0, 0x3: Thumb32SrsRfe::thumb32SrsRfe();