$import rv64_zbt::fsrw
$import rv64_zbp::grevi
$pseudo_op rv64_zbp::grevi rev rd rs1 31..20=0x6BF 14..12=5 6..0=0x13