john: main has doxygen