// buggy program - faults with a write to location zero

#include <inc/lib.h>

void
umain(void)
{
	*(u_int*)0 = 0;
}