public class EvalError extends Exception {
	public void rethrow (String s) throws EvalError {
	}
}