void sx_init(sxmanager *m, sx *x) { x->manager = m; sv_loginit(&x->log); ss_listinit(&x->deadlock); }
void sx_init(sxmanager *m, sx *t) { t->manager = m; sv_loginit(&t->log); ss_listinit(&t->deadlock); }