use Bits32 type