Symbol: anon_fault