# See the License for the specific language governing permissions and
# limitations under the License.
-import standard
-intrude import standard::text::ropes
+import core
+intrude import core::text::ropes
var rp: String = new Concat("xxx", "yyy")
rp += "zzz"