That is correct. Strings and I/O both have a bunch of work to be done. Printing currently requires workarounds like https://godbolt.org/z/MP4164f7s
Array iteration got checked into the prelude so this is now shorter: https://godbolt.org/z/YYheo19ea
Array iteration got checked into the prelude so this is now shorter: https://godbolt.org/z/YYheo19ea