int j_unmap __db_jumptab::__P ( (void *, size_t)   ) 


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