the numbering (EXTRA3) and encoding for sv.cr* operations (5-bit) is hosed. this is not a surprise as it has never been tested. unit test time....