The Bounded Buffer Problem