// Copyright (c) 2020 Johannes Stoelp

extern void greet();

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