Header file for implementation of queue ADT - see paging.c