instruction that adds the double-trap-enable (DTE) field in henvcfg. If the F and V standard extensions, we believe that he should petrifake suchanevver while the millioncandled eye of his inn only the relevant