object DatabaseSnapshot
fun copyDatabaseSnapshot(baseDirectory: Path): Unit
fun databaseFilename(baseDirectory: Path): Path!