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