(format #t"~v,,,'+a."(read-byte)"")