pub const sema_state_t_SEMA_DESTROY: sema_state_t = 1;