DB<4> printf "\nLINE 1: 855638016 == %x", (0x34000000 + 0xFF000000) & 0xFFFFFFFF; LINE 1: 855638016 == 33000000 DB<5>