public interface SymbolPrinter
{
  // +---------+-----------------------------------------------------------
  // | Methods |
  // +---------+

  /**
   * Convert a numeric symbol to a string.
   */
  public String toString(int symbol);
} // interface SymbolPrinter