documentation in header files