// This file is part of noxos and licensed under the MIT open source license

#include "public/nox/string.h"

uint64_t strlen(string_t str) {
    uint64_t n = 0;
    while (str[n++]);
    return n;
}