/* Yes, it's called "empty" because it has no contents at all.  
   Even this comment goes here, rather than in empty.h.  */
#include "empty.h"

int main(void) 
{
  return 0;
}