!RM %DEST%/bin/verify
!CC3 %DEST%/bin/verify %DEST%/include verify.c %SVLIBS%
!RM verify.o
