Symbol: log2_to_max_int_t