added test for RexOps/Rex#423