Asm.js-compliant name mangling