sub msb_pos_is_equal {
    my ($x, $y) = @_;
    ($x ^ $y) <= ($x & $y)
}