/* _dict.cc 13/08/2001 22.40.40 */
/* todo.tlcc 29/04/2002 17.26.08 */
/* todoxml.tlcc 29/04/2002 17.26.08 */
void todoxml (_F_todoxml&c, const char *fname);