An example that reads input from the console