Symbol: __machine__synthesize_threads