Symbol: increase_max_dfas