wrote := DB.write(data); put_line("Wrote " & Unsigned_32'Image(wrote) & HT & "- "); Here we can also see the way that special ASCII characters are handled in Ada’s Text_IO procedures ...