Updated version of src/isa.js