Update and rename symbols.h to test_symbols.h