Added asm.js annotations