maybe:  assume( p_Test(zz, srcExtRing) );