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