let
max_bitfield_width = 32