370a371,374
> void setShadowSet(int css, int tid=0) {
> regs.setShadowSet(css);
> }
>