Symbol: fault_vector_20