*/
const GAPS_INDEX_END = 'end';
+ // Header names
+ const HEADER_NAME_MAGIC = 'magic';
+ const HEADER_NAME_TOTAL_ENTRIES = 'total';
+ const HEADER_NAME_SEEK_POSITION = 'seek';
+
+ // Header element counts
+ const HEADER_INDEX_ELEMENT_COUNT = 2;
+ const HEADER_STACK_ELEMENT_COUNT = 3;
+
/**
* Reads the file header
*