#define STRLEN __strnlen_evex512
#define USE_AS_STRNLEN 1

#include "strlen-evex512.S"