それはともかく

Adaでも、実行時ディスパッチが行われるストリームに対して、1文字ずつCharacter'Readと'Writeなんてやったら遅いことがわかった。やる前にわかれって話ですが。あほか私は。
一括で読んでしまってString上の位置で処理するようにしたらまあそれなりの速度に。