case_violation_checks.sv.pat 88 Bytes