Symbol: core_ops_bit__core__ops__bit__Shr_i32__u8__for__0__u8___shr
usr.bin/ssh/libcrux_internal.h
10624
uint8_t uu____1 = core_ops_bit__core__ops__bit__Shr_i32__u8__for__0__u8___shr(byte, 4);
usr.bin/ssh/libcrux_internal.h
655
core_ops_bit__core__ops__bit__Shr_i32__u8__for__0__u8___shr(const uint8_t *x0, int32_t x1);