#include <stdio.h>
int main(void) {
char s[8]="Hello";
int i=0;
while(s[i]!='\0'){
i++;
}
return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CgppbnQgbWFpbih2b2lkKSB7CgljaGFyIHNbOF09IkhlbGxvIjsKCWludCBpPTA7Cgl3aGlsZShzW2ldIT0nXDAnKXsKCQlwcmludGYoIiVjIixzW2ldKTsKCQlpKys7Cgl9CglwcmludGYoIlxuIik7CglyZXR1cm4gMDsKfQo=