On Fri, 6 May 2022 18:52:36 GMT, Leo Korinth <lkorinth at openjdk.org> wrote: > uint32_t is a much more natural type for bitsIdx. Seems ok to me. ------------- Marked as reviewed by coleenp (Reviewer). PR: https://git.openjdk.java.net/jdk/pull/8581