formatted 8 byte hex printf working