Symbol: vfe_violation_read