note readline() defaults to STDIN