Symbol: show_fault