Symbol: diagnostic_push