stub REPL, with user-definable prompts