This is what the REPL expects the exception to look like