void badend __P ( (void)   ) 


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