kernel/generic/include/printf/verify.h kernel/generic/include/verify.h uspace/app/nav/types/verify.h uspace/app/nav/verify.h uspace/lib/c/include/io/verify.h uspace/lib/fmgt/include/fmgt/verify.h uspace/lib/posix/include/libc/io/verify.hHelenOS homepage, sources at GitHub