Function law_add_nonnegative_saturating_saturates_on_overflow 

pub fn law_add_nonnegative_saturating_saturates_on_overflow(
    x: i64,
    y: i64,
) -> bool