Inlined `<>` for string, `<<<` and `>>>` for `->`.
Use a fresh name.