Symbol: trap_diag