#include <stdio.h>
int
main(void)
{
	volatile int *p = (volatile int *)0x10;
	printf("fault: about to deref %p\n", (void *)p);
	fflush(stdout);
	*p = 0x41414141;
	printf("fault: NOT REACHED\n");
	return (0);
}