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