code: public static Value abort(LocatedException e, Context ctxt)
  	{
  		throw new ContextException(e.number, e.getMessage(), e.location, ctxt);
  	}
docs: Abort the runtime interpretation of the definition, throwing a ContextException to indicate the call stack. The
  information is based on that in the Exception passed.
  
  @param e
  The Exception that caused the problem.
  @param ctxt
  The runtime context that caught the exception.
  @return