public boolean isEmpty()
{
   return topIndex < 0;
} // end isEmpty
// Version 4.0
