const MAX_OPEN_FILES: u64 = 32768;