pub fn nonce_to_lower_bound(nonce: &U256) -> U256