pub type AwsCThreadId = pthread_t;