class SymbolAllocator {

    public Symbol newSymbol(Symbol symbolHint)
    {
        return newSymbol(symbolHint, null);
    }

    public  SymbolAllocator();
    public  SymbolAllocator(Map<Symbol, Type> initial);

}