Does the Latin-Katakana example given imply that some input value can cause it to not terminate?