Symbol: sec_end