do switch jump tables more often

Because jump tables are faster and we can afford to use a little more space for the tables.