void dump_txt(Term *term, const char *fname);
void dump_ppm(Term *term, const char *fname);