Javascript MMIX interpreter