NetBSD-5.0.2/sys/rump/librump/rumpkern/opt/veriexec.h

/*	$NetBSD: veriexec.h,v 1.1 2007/08/13 13:57:21 pooka Exp $	*/