int whatever() { return 0; }