Space missing before `(`, superfluous semicolon at the end (we would like to force the programmer to put a semicolon after the "invocation" of DEBUGF(...)).