Constant xentoollog_level_XTL_PROGRESS 

pub const xentoollog_level_XTL_PROGRESS: xentoollog_level = 4;