file that makeinfo can process. Run checkargs.py on Protocol-A.texi.
Attach a file by drag & drop or click to upload
