(loop(format t"~0,v,64^~:*~D "(char-int(read-char))))