hot take: all C header header files should only ever be included once by default. To avoid confusion due to hard and soft links, the compiler should implement this by overwriting the file with whitespace after read