Let's put this at the top, with the other read_strings, before where the args are read.
Couldn't this also replace atty=read_int()?