User input/Text is part of Short Circuit's Console Program Basics selection.
Task
 
Input a string and the integer   75000   from the text console.

See also: User input/Graphical

def read(int):
  null | until( . == int;  "Expecting \(int)" | stderr | input);
 
def read_string:
  null | until( type == "string";  "Please enter a string" | stderr | input);
 
(read_string | "I see the string: \(.)"),
(read(75000) | "I see the expected integer: \(.)")