added newlines before fflush(), as it was mentioned in https://review.openbloomberg.com/D19#inline-93
doing (void) nullStr; only in non-safe mode, as per https://review.openbloomberg.com/D19#inline-100