void cdump(FILE * f,boolean reverse);