// main.h -- stuff exported from main.cc
//
// Last edited: 2000-11-08 15:05:03 by piumarta on emilia.rd.wdi.disney.com


#ifndef _j_main_h
#define _j_main_h

void  j_flushAll(void);

#endif // _j_main_h
