Symbol: _sema_post