Core-VM related files for JEX