Doxygen-compatible comments in coding style