/*	$NetBSD: veriexec.h,v 1.1 2015/08/24 22:52:15 pooka Exp $	*/