private int file_type_to_index(file_log_type file_type) { return file_type_to_index_.key_to_value(file_type); }