#include <string.h>

int main(void) {
    char str[] = "Hello Wally!";
    return strlen(str);
}