#include <stdio.h>
void push(char s[]); 
int main() {
    char *a = "AHO";
    push("AHO");
    printf("Hello world!\n");
    return 0;
}
void push(char s[]) {
    puts(s);
}