Let me state something. I don't need the performance but I was wondering if a file like this:
#include<stdio.h>
int main(void){printf("Hello, world!");}
gets compiled faster than this
#include <stdio.h>
int main(vod)
{
printf("Hello, world!");
}
because the compiler doesn't have to skip as much newlines and whitespaces as in the other text.