ちょっとひっかかったのは文字列の後に \0 が付いてないので * のチェックでアクセスがはみ出る所ぐらい do～while で書いてあったものを if cond { break } に書き換えたのでそのへんがエレガントでなくなっている スライスを使っているので効率はほとんど…