removed symbol-table.c.orig