Symbol: core_num__u16__wrapping_add
crypto/openssh/libcrux_internal.h
15771
uint8_t result = (uint8_t)((uint32_t)core_num__u16__wrapping_add(~value0, 1U) >> 8U & 0xFFFFU);
crypto/openssh/libcrux_internal.h
639
static inline uint16_t core_num__u16__wrapping_add(uint16_t x0, uint16_t x1);