//! a fake header file