67   Stack *const newStackTop = malloc(sizeof(Stack));  in stackPushMalloc()  local
68   if (! newStackTop) {  in stackPushMalloc()
71   newStackTop->model = model;  in stackPushMalloc()
72   newStackTop->level = level;  in stackPushMalloc()
73   newStackTop->prev = stackTop;  in stackPushMalloc()
74   return newStackTop;  in stackPushMalloc()
79   Stack *const newStackTop = stackTop->prev;  in stackPopFree()  local
81   return newStackTop;  in stackPopFree()
159       Stack *const newStackTop  in dumpContentModel()  local
161       if (! newStackTop) {  in dumpContentModel()
169       stackTop = newStackTop;  in dumpContentModel()