Symbol: test_main