pub const TBS_TCGLOG_SRTM_CURRENT: u32 = 0u32;