Currently output is unsynchronized, leading to race conditions and output clutter. That should be fixed.
