int printf(const char *, ...);

int main(int argc) {
    return 42;
}