my $x1 = $r << 32 | $t;
printf "\nThe value is 0x%x", $x1;   # 0x23400000345