public void push( StatMethod stat )
	{
		trace[depth].pause();
		
		if (++depth == trace.length) 
		{
		   int newLength = depth + (depth >> 1);
		   
		   trace = Arrays.copyOf( trace, newLength );
		   
		   for (int i = depth; i < newLength; i++) 
		   {
		      trace[i] = new Trace();
		   }
		}
		
		trace[depth].start( stat );
	}