1prog: redundantRexW
2