int main(){
    char a[] = {'1', 0, '3', 0};
    printf("a = %s\n", a);
    printf("a+2 = %s\n", a+2);
}