Hex literals should have underscores every 4 digits to make them easier to read:  `0x8000_0000`