Bounded stack