under WIN32 mmix runs as a separate thread
Authored by: ruckert 2008-09-18
Parent: [r149]
Child: [r151]
