#include <stdio.h>

size_t count_bytes(const char *p) {
    size_t n = 0;
    while (*p++ != '\0') {
        n++;
    }
    return n;
}

int main(void) {
    printf("%zu\n", count_bytes("hello"));
    return 0;
}

promise not to modify the pointee