// ignore-license
void foo();

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