private static void Read(FileDb file, long pos, int length) => Console.WriteLine(Encoding.UTF8.GetString(file.ReadBytes(pos, length)));
private static void Write(FileDb file, string s, long pos) => file.WriteBytes(pos, Encoding.UTF8.GetBytes(s));