log_2(17 * 2^16)