#include <stdint.h>

char *  ptr1 = "mpabi  vlaz";

int strlen(char *s)
{
     char *p = s;
     while (*p != '\0')
     p++;
     return p - s;
}

void strcpy(char *s, char *t)
{
     while (*s++ = *t++);
}

int main()  {

  char tab [20];
    strcpy( tab, ptr1);

   uint8_t wynik =0;
    wynik = strlen (tab);

        asm("nop");
 }