Footnotes

(1)

MS-DOS does not allow + characters in file names, so on MS-DOS this program is named CXXFILT.