/* groomer: crashes with SIGABRT; prints its pid so the rig can size the
 * kern.corefile filler such that the expansion is exactly 1023 chars */
#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>

int
main(void)
{
	fprintf(stderr, "groomer pid=%d\n", getpid());
	fflush(stderr);
	abort();
	return 0;
}