// po fact { addrdep + ctrldep :> Store } // execute instruction else { eg_len = (vl/EGS) eg_start = (vstart/EGS) foreach (i from vstart to vl-1) { let inb : bits(32) = 0; bit < 128; bit++) { if