#include <stdio.h>

int main() {
    char a[] ="AL\0FA";
    int i;
    for(i=0; a[i] != '\0'; i++) {}
    printf("%d", i); 
}