dout, add dout_hex().