printf "%d", 0b11000000_00000000_00000000_00000000 - 2**32;    # -1073741824