let
base16bits =
Big_int
.power_int_positive_int 2 16