Symbol: diagnostic_pop