int X(); // BAD: this file requires a header guard.