> Also, if a program produces output with a well-defined syntax, then the termination status may be superfluous; the truncation of the output can be detected by

> Also, if a program produces output with a well-defined syntax, then the termination status may be superfluous; the truncation of the output can be detected by virtue of that syntax being incomplete. The author covers this (or rather, the possibility that truncation can not be detected).