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