printer() includes printing symbol table