refinement: use coolline for repl.