<<>> <> <> <> File: CEDAR DEFINITIONS = BEGIN <<>> -- This is just a placeholder for PFS.bytesPerPage wordsPerPage: NAT = 2048; bytesPerPage: NAT = wordsPerPage*BYTES[WORD]; END. <<>>