Hi Paul, The modules argmatch count-leading-zeros c-vasnprintf dfa exclude fma fmaf fmal ino-map i-ring malloca mbrtowc mbsinit mktime nanosleep parse-datetime pipe2 relocatable-prog-wrapper sleep stat strerror strtoimax strtoumax unistdio/u8-u8-vasnprintf unistdio/u8-vasnprintf unistdio/u16-u16-vasnprintf unistdio/u16-vasnprintf unistdio/u32-u32-vasnprintf unistdio/u32-vasnprintf unistdio/ulc-vasnprintf utimecmp vasnprintf xbinary-io also depend on 'verify'. It is perfectly OK to do compile-time verifications in a non-tests module.
Bruno
