#include <stdio.h>

char s[] = "Ciao";

void prints(char *p) {
    for( ; *p != '\0';p++) {
        printf("%c",*p);
    }
}

void main() {
    prints(s+2);
}