ref: 92f9e8a9be1e6ded911f66c5cb81f28093c5450e dir: /bugs-fixed/negative-nf.ok/
../a.out: cannot set NF to a negative value source line number 1