writeDictionary

fun writeDictionary(path: Path, dictCodecHeader: String, dictCodecVersion: Int)