Blame for code/bugfind/bench/kernels/mldsa_norm/post/src/lib.rs

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