!7 concept BigEntry { S globalID; long fileNr, headerStart, start, length; } p { dbIndexing(BigEntry, 'globalID); S s = "Hello world"; BigEntry entry = db_newStringEntry(s); print("Stored as: " + renderConcept(entry)); assertEqualsVerbose(s, db_getText(entry)); print("OK"); } static BigEntry db_newStringEntry(S text) { lock dbLock(); long fileNr = fileNrToAppendTo(); S globalID = aGlobalID(); File file = db_file(fileNr); long length = fileSize(file); long l = lUtf8(text); S header = globalID + " " + l + "\n"; long start = length + lUtf8(header); appendToTextFile(file, header + text + "\n"); ret cnew(BigEntry, +globalID, +fileNr, headerStart := length, +start, length := l); } static long fileNrToAppendTo() { ret 1; } static File db_file(long nr) { ret getProgramFile("db." + nr); } static S db_getText(BigEntry entry) { File f = db_file(entry.fileNr); ret fromUtf8(loadBinaryFilePart(f, entry.start, entry.start+entry.length)); }