doprocdump        194 console.c        int c, doprocdump = 0;
doprocdump        201 console.c            doprocdump = 1;
doprocdump        230 console.c        if(doprocdump) {