int j_rename __db_jumptab::__P ( (const char *, const char *)   ) 


Generated on Sun Jun 8 10:57:01 2008 for GNUmifluz by  doxygen 1.5.5