gcc -O3 -Wall -o checker3 checker3.c cbigopen.c
checker3.c: In function `initMmap':
checker3.c:415: warning: unused variable `flagsStd'
checker3.c: In function `initProof':
checker3.c:486: warning: unused variable `i'
checker3.c: In function `recordPfLine':
checker3.c:530: warning: unused variable `nextLabel'
checker3.c: In function `processPfHdr':
checker3.c:1095: warning: unused variable `numf'