TESTS: added test mold-string7 to serialization-test.red