a slightly better way to handle default entries in a jump table.