I've been using din.readf to read from the standard input. Now that streams are being retired (some or all?), what is the best replacement? Thank you, Ali