verify_strchrnul
static void verify_strchrnul(char *, int, unsigned int, unsigned int);
verify_strchrnul(buf + a, 0, t, a);
verify_strchrnul(buf + a, '/', t, a);
verify_strchrnul(buf + a, 0xffffff00 | '/', t, a);
verify_strchrnul(buf + a, 0xff, t, a);