extern void greet();

int main() {
    greet();
    return 0;
}