This is `Util.del_str "']"`