Moving a little closer to using SPARK.Text_IO instead of Ada.Text_IO.