Correct usage of ia32_emitf() in emit_ia32_SwitchJmp().