#define TEST_IDENTIFIER strnlen
#define TEST_NAME "strnlen"
typedef char CHAR;
#include "test-Xnlen-nonarray.c"