void rdftmap(char *);
const char *mapft(const char *);