core::internal::bounded_int::bounded_int_sub

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