#ifndef _UTIL_H_ #define _UTIL_H_ extern void consistent(); extern void refresh(); #endif