#define PHYSICAL_PAGE_AMOUNT 384
#define PAGE_REPLACEMENT_ALGORITHM 2
#define WSCLOCK_TIME_WINDOW 1500

#define SANITY_CHECK_ENABLED 1
#define VERBOSE_SANITY_CHECK 0

#define WS_CHANGE_INVERSE_CHANCE 1000

/* --- Debug options --- */

#define DISABLE_LOGGING 0