Symbol: core_num__u8__wrapping_sub
usr.bin/ssh/libcrux_mlkem768_sha3.h
1557
uint8_t mask = core_num__u8__wrapping_sub(
usr.bin/ssh/libcrux_mlkem768_sha3.h
607
static inline uint8_t core_num__u8__wrapping_sub(uint8_t x0, uint8_t x1);