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