From SV-COMP'24 unreach-call: c/aws-c-common/aws_array_eq_harness-1.yml
