176 	s = (State_Stack *) emalloc(sizeof(State_Stack));  in push_dsts()
177 	s->n = (int *) emalloc(nclaims * sizeof(int));  in push_dsts()
263 			{	g = (Guard *) emalloc(sizeof(Guard));  in state_body()
350 	l = (Label *) emalloc(sizeof(Label));  in mk_accepting()
351 	l->s = (Symbol *) emalloc(sizeof(Symbol));  in mk_accepting()
353 	l->c = (Symbol *) emalloc(sizeof(Symbol));  in mk_accepting()
593 	Ist  = (int *) emalloc(sizeof(int) * nclaims);  in sync_product()
594 	Nacc = (int *) emalloc(sizeof(int) * nclaims);  in sync_product()
595 	Nst  = (int *) emalloc(sizeof(int) * nclaims);  in sync_product()
596 	reached = (int **) emalloc(sizeof(int *) * nclaims);  in sync_product()
597 	Selfs   = (Element **) emalloc(sizeof(Element *) * nclaims);  in sync_product()
598 	matrix  = (Element ****) emalloc(sizeof(Element ***) * nclaims); /* claims */  in sync_product()
607 	{	reached[n] = (int *) emalloc(sizeof(int) * nst);  in sync_product()
608 		matrix[n] = (Element ***) emalloc(sizeof(Element **) * nst);	/* rows */  in sync_product()
610 		{	matrix[n][i] = (Element **) emalloc(sizeof(Element *) * nst);  in sync_product()
684 	sl = (Succ_List *) emalloc(sizeof(Succ_List));  in create_transition()
712 	nq = (SQueue *) emalloc(sizeof(SQueue));  in find_state()
713 	nq->state.combo = (int *) emalloc(nclaims * sizeof(int));  in find_state()