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