pub const htsLogLevel_HTS_LOG_INFO: htsLogLevel = 4;