missing calls to mk-str in runtime, and new tests to catch them in the future