#include <9pm/u.h> #include <9pm/libc.h> long strlen(char *s) { return strchr(s, 0) - s; }