-g -O -pipe -DNFSKLUDGE
