void dumpSampling(const char *filename);