Symbol: tested_section