fun window_restore(var inst : InstOp) { inst.delta = (-1)?cvt(char); CWP = ((CWP?cvt(ulong) + 8 - 1) % 8 )?bits(5); if(CANRESTORE?cvt(ulong) > 0) { CANSAVE = (CANSAVE?cvt(ulong) + 1)?cvt(cwp_t); CANRESTORE = (CANRESTORE?cvt(ulong) - 1)?cvt(cwp_t); } else { is_trap = true; } }