int? readInt({ String? prompt, Encoding encoding = io.systemEncoding, }) { final input = readLine(prompt: prompt, encoding: encoding); return int.tryParse(input); }