testing Doxygen for my C library