module std::thread;

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