;; dumps standard input as list of codepoints (local x (io.read)) (each [_ v (utf8.codes x)] (print (string.format "%08x" v)))