update test bench for Rext