(loop(dotimes(i(set'n(read)))(#0=format t"|~V@T\\
"i))(#0#t"|~V@{_~}\\~%~32@{*~}
"n t))