#include "config.h"
#ifdef ENABLE_TIVO
char *
decodeString(const char * string);
#endif