#ifndef _UTIL_H_
#define _UTIL_H_

extern void consistent();
extern void refresh();

#endif