michael@0: #include <stdio.h>
michael@0: 
michael@0: int main (int argc, char* argv[]) {
michael@0:   if (argc != 1)
michael@0:       return -1;
michael@0: 
michael@0:   return 42;
michael@0: }