pub fn response_bound(gamma1_exponent: u32, beta: i32) -> i32 {
    (2i32 << gamma1_exponent) - beta
}