pub const TF_MOD_RSHIFT: u32 = 32u32;