#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int
main(int argc, char *argv[])
{
	while (printf("%d\n", getpid()))
		sleep(15);

	return (1);
}