setjmp support for asm.js