protected void print_arg(java.io.PrintStream w, Context ctxt, int i) { if (ctxt.getFlag("show_spec_args")) if (specarg[i]) w.print("spec "); super.print_arg(w, ctxt, i); }