// This file is part of noxos and licensed under the MIT open source license #include "nox/string.h" uint64_t strlen(string_t str) { uint64_t n = 0; while (*str++ != '\0') n++; return n; }