int FnFromImportedFile();

// GOOD: this header file is OK because it's only ever `#import`-ed