#include <stdint.h>

char *  ptr1 = "janek";
char *  ptr2 = "kowalskii";

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

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


#define ALLOCSIZE 10000

static char allocbuf[ALLOCSIZE]; 
static char *allocp = allocbuf; 

char *alloc(int n) 
{

    if (n % 4 != 0) { 
        n += 4 - (n % 4);
    }


     if (allocbuf + ALLOCSIZE - allocp >= n) { 
     allocp += n;
     return allocp - n; 
     } else 
     return 0;
}

int main()  {

char *p1= "bogon";
char *p2= "maks";
int8_t name=strlen(p1);
int8_t name0 = strlen(p2);
      
    return 1;
}