let nl () = pr "\n"