Hi, Following format string outputs "0x01" when it should output "0x1001". uint16_t val = 0x1001; printf("%#04x", val);