int main () { return 42; }