#include <wchar.h>

#ifndef NOT_IN_libc
# define WCSLEN  __wcslen_ia32
#endif

extern __typeof (wcslen) __wcslen_ia32;

#include "wcsmbs/wcslen.c"