9p: strlen() doesn't count the terminator