stdin	rdstdin.html#stdin_1	Module rdstdin	
readLineFromStdin	rdstdin.html#readLineFromStdin,string	rdstdin: readLineFromStdin(prompt: string): TaintedString	
readLineFromStdin	rdstdin.html#readLineFromStdin,string,TaintedString	rdstdin: readLineFromStdin(prompt: string; line: var TaintedString): bool	
