std::cout << "0x" << std::hex << std::setfill('0') << std::setw(4) << 0x424 << std::endl;
printf("0x%04x\n", 0x424);