Symbol: fault_vector_11