64,66d63
< const int LogVMPageSize = 12; // 4K bytes
< const int VMPageSize = (1 << LogVMPageSize);
<