Removed debug printing in symbol.c