pub const sema_state_t_SEMA_OK: sema_state_t = 0;