8d67357c5c
Without this, printf is very hard to follow at times on multicore systems.
Without this, printf is very hard to follow at times on multicore systems.