REPLConsole stub added