32 typedef CPpmd7_Context * CTX_PTR;  typedef
299   p->MinContext = p->MaxContext = (CTX_PTR)(p->HiUnit -= UNIT_SIZE); /* AllocContext(p); */  in RestartModel()
341 static CTX_PTR CreateSuccessors(CPpmd7 *p, Bool skip)  in CreateSuccessors()
344   CTX_PTR c = p->MinContext;  in CreateSuccessors()
392     CTX_PTR c1; /* = AllocContext(p); */  in CreateSuccessors()
394       c1 = (CTX_PTR)(p->HiUnit -= UNIT_SIZE);  in CreateSuccessors()
396       c1 = (CTX_PTR)RemoveNode(p, 0);  in CreateSuccessors()
399       c1 = (CTX_PTR)AllocUnitsRare(p, 0);  in CreateSuccessors()
424   CTX_PTR c;  in UpdateModel()
481       CTX_PTR cs = CreateSuccessors(p, False);  in UpdateModel()
661   CTX_PTR c = CTX(SUCCESSOR(p->FoundState));  in NextContext()