Symbol: sema_impl_t