core::internal::bounded_int::bounded_int_add

extern fn bounded_int_add(lhs: Lhs, rhs: Rhs) -> Result nopanic;