/*	$NetBSD: verified_exec.h,v 1.1 2006/12/20 22:03:20 agc Exp $	*/

#include "../../sys/sys/verified_exec.h"