#pragma once 

#include <lib/stdint.h>

uint32_t strlen(char* str);