Symbol: testcase_get_args