Stubs for asm.js + check for type consistency.