Doxygenizing stdio.h