throw new InterpreterException(StdErrors.extend(StdErrors.Raise_exception, Double.toString(arg.getNumber())));
else
throw new InterpreterException(stderr);
}
else{
External_Exception except= (External_Exception) arg.getExternalInstanceOf(External_Exception.class);
except.raise();
return null;
}
}