Defined a promt (required by REPL)