int fred = 0x1000U;