| proc P1
{
ring r=0,x,dp;
keepring r;
}
proc P2
{
"inside P2: " + nameof(basering);
P1();
"inside P2, after call of P1: " + nameof(basering);
}
ring r1= 0,y,dp;
P2();
==> inside P2: r1
==> inside P2, after call of P1: r
"at top level: " + nameof(basering);
==> at top level: r1
|