[text id="description" text=(31337_13320201556243, `Create the ISA spec for the new instructions`) size=36]
