use-modules (ice-9 readline) display (readline "Type something: ") newline