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