Final version of the ISA for the Demo.