example: asm.js supports casts