core_num__u8__wrapping_sub
uint8_t mask = core_num__u8__wrapping_sub(
static inline uint8_t core_num__u8__wrapping_sub(uint8_t x0, uint8_t x1);