let base16bits = power_int_positive_int 2 16