请问下列二叉树非递归先序遍历的函数体该如何补充完整？

void PreOrder_NonRecursive(BiTree root)
{ SeqStack S; BiTree p; //不能再定义新变量

if (root==NULL) return;
InitStack(&S);  Push(&S,root);
while (__________________)
{

  ......

}

}