@Override
 public Prompt getPrompt() {
   return console.prompt();
 }