;        int val0 = numeric_limits<int>::max();       if(!bstStk0.empty())     val0 = getTopVal(bstStk0);        int val0 = numeric_limits<int>::max();       if(!bstStk0.empty())     val0 = getTopVal(bstStk0);        i