$import rv_zbb::clz
$import rv_zbt::fsr
$pseudo_op rv64_zbt::fsri fsri rd rs1 rs3   26=1 25=0 shamtw 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv64_zbp::grevi rev rd rs1 31..20=0x69F 14..12=5 6..0=0x13