Symbol: ksema_type_t