optimizations in rule30)rev_string_x
test_4 and test_4a yield same result