This is xnu-11215.1.10. See this file in:
#include <stdio.h>
#include <stdlib.h>
int
main(void)
{
	printf("hello, world!\n");
	return 0;
}