Symbol: do_fault