#ifndef NOT_IN_libc
# define WCSLEN  __wcslen_ia32
#endif

#include "wcsmbs/wcslen.c"