#include <string.h>
size_t strlen2(char *s)
{
  return strlen(s);
}