#ifndef WCSLEN
# define WCSLEN	__wcslen_evex512
#endif

#define STRLEN WCSLEN
#define USE_AS_WCSLEN 1

#include "strlen-evex512.S"