mixed C/C++ header