Symbol: act_asrt_fault