my $Rm = "0xAAAAAAAA";
    use integer;
    my $Rd = hex($Rm) >> 31;
    printf "Rd = 0x%x\t Rb = 0x%x\n",$Rd, hex($Rm);