Type PageID
#include <minirel.h>
PageID uniquely identifies a page. It is defined as an int.
typedef int PageID;
A macro INVALID_PAGE is defined as -1, and can be used to indicate an invalid (for eg, uninitialized) page id.