#
# trace00.txt - Properly terminate on EOF.
#
