function = "Readline" impure = true [[output]] type = "String"