printf '%#8.8x', unpack 'I', pack 'I', 0xABCDEF
0x00abcdef