Function require_int 

fn require_int(
    pairs: &[(Value, Value)],
    key: &str,
) -> Result<i64, MoqTraceError>