Review: our Queue interface definition