Make typhoon threaded-safe