added test for RexOps/Rex#512