let base16bits = Big_int.power_int_positive_int 2 16