juancarlospaco Thu, 16 Dec 2021 11:15:02 -0800
<https://nim-lang.github.io/Nim/rdstdin.html#readLineFromStdin%2Cstring> ?
