stream = ((JavaObjectTerm) a1).object();
} else {
throw new IllegalDomainException(this, 1, "stream_or_alias", a1);
}
if (!(stream instanceof PrintWriter)) {
throw new PermissionException(this, "output", "stream", a1, "");
}
// print single character
str = ((SymbolTerm) a2).name();
if (str.length() != 1) {
throw new IllegalTypeException(this, 2, "character", a2);