#include <wchar.h>

#if IS_IN (libc)

# define WCSLEN  __wcslen_ia32

#endif

extern __typeof (wcslen) __wcslen_ia32;

#include "wcsmbs/wcslen.c"