not a C++ header file