pub const TERMINATION_REWARD_FACTOR_DENOM: u32 = 2;