pub const SEMAPHORE_NULL: semaphore_t = 0;