Why is `console._flush()` necessary here? Is it a widely-implemented method? Maybe call it only if it exists?