#include expects "FILENAME" or <FILENAME>

Code needs to be developed with a real programmers' text editor, not some fancy WYSIWYG tool,
since the character coding must be based on ASCII (ASCII spaces, quotes, double quotes, etc, not
fancy variants).