#include <c-libs/sys/memory.h>
#include <c-libs/sys/syscall.h>

void strcpy(char *dst, const char *src) {
  int ix = 0;
  do {
    dst[ix] = src[ix];
  } while (src[ix++]);
}

int main() {
  char *str = malloc(14);
  strcpy(str, "Hello World!\n");

  write(0, str, 13);

  munmap(str, 14);
  return 0;
}