int(0..) pushpop_depth()
Returns the PushPop depth, i.e. the number of pushes awaiting corresponding pops.