//@ We would now like to iterate over standard input line-by-line. We can use a `for` loop
//@ for that, but there is a catch: What happens if there is some other piece of code running
//@ concurrently, that also reads from standard input? The result would be a mess. Hence
//@ We would now like to iterate over standard input line-by-line. We can use a `for` loop
//@ for that, but there is a catch: What happens if there is some other piece of code running
//@ concurrently, that also reads from standard input? The result would be a mess. Hence