#ifdef ENABLE_TIVO
char *
decodeString(const char * string);
#endif