module std::thread;

define NativeMutex = distinct int;
define NativeConditionVariable = distinct int;
define NativeOnceFlag = distinct int;
define NativeThread = distinct int;