#ifndef UTIL_H
#define UTIL_H

int check_state(void* addr);

void debug_print();

// calculate the number of functions in the page cache
int cache_count();

#endif