#include 
#include 


void pecati() {
    printf("HELLO WORLD\n");
}
int main(int argc, const char * argv[]) {
    pecati();
    return 0;
    
}