typedef unsigned long uint64_t;     // unsigned long is 64 bit wide on theon

uint64_t
strlen(char *str)
{
    char *ch = str;
    while (*ch) {
        ++ch;
    }
    return ch - str;
}

int
main()
{
    return strlen("hello, world!\n");
}