#include <sys/types.h>
#include <sys/param.h>
#if defined(USE_LONG_LONG)
typedef unsigned long long ef_number;
#else
typedef unsigned long ef_number;
#endif
#ifndef NBBY
#define NBBY 8
#endif
#ifdef __cplusplus
#define C_LINKAGE "C"
#else
#define C_LINKAGE
#endif
void Page_AllowAccess(void * address, size_t size);
void * Page_Create(size_t size);
void Page_Delete(void * address, size_t size);
void Page_DenyAccess(void * address, size_t size);
size_t Page_Size(void);
void EF_Abort(const char * message, ...);
void EF_Exit(const char * message, ...);
void EF_Print(const char * message, ...);
void EF_Lock();
void EF_UnLock();