CoreASM: An extensible ASM execution engine