Undo an oddity of GCC’s optimization of switch statements. It creates a
data segment, which is stupid because it’s read-only data.