/* nothing wrong with this function
 * But there's a comment at the EOF
 */
void commenteof();

/* -- QED --*/