../src/lib/bv/bitvector.cpp:568:29: warning: shift count >= width of type [-Wshift-count-overflow] 568 | uint64_t hi = (limb >> 32); | ^ ~~ 1 warning generated. [19/107] Compiling C++ object src/libbitwuzla.a.p/api_c_bitwuzla.cpp.o