* use the HexEscAppend thing instead of printf appending...