Symbol: alignment_testcase