Two unused symbols.