Update test_symbols.h