- Revision 1474: /base/head/lib/libveriexec

• ..
• Makefile
• libveriexec.h
• veriexec.3
• veriexec_check.c