code: private void  outchar(int code, int width, String name) {
          out.print("C ");
          outval(code);
          out.print(" ; WX ");
          outval(width);
          if (name != null) {
              out.print(" ; N ");
              out.print(name);
          }
          out.print(" ;\n");
      }
docs: /*
  Output a character entry