An efficient queue implementation to be used generally within Soot.