this was produced by doxygen