1  /* Yes, it's called "empty" because it has no contents at all.  
       2     Even this comment goes here, rather than in empty.h.  */
       3  #include "empty.h"
       4  
       5  int main(void) 
       6  {
       7    return 0;
       8  }