#include "doctest.h"
#include <stdio.h>

DOCF(int, main, int argc, char *argv[]) {
#ifdef DOCS
	D("Prints \"Hello, World!\" and args.");
#else
	int i = 0;
	printf("Hello, World!\n");
	for (i = 0; i < argc; i++) {
		printf("%d: %s\n", i, argv[i]);
	}
#endif
	DOCF_END;
}