Symbol: sgen_diag_ok