#include <lib/stdint.h>

uint32_t strlen(char* str);