808a809,811
> 0x07: rpns({{
> R0 = PseudoInst::rpns(xc->tcBase());
> }}, IsNonSpeculative, IsUnverifiable);