../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