bytes.rkt is a binary <--> hex encode/decode tool.