private class LifoQueue[E]
	super ProxyQueue[E]
	redef fun take do return seq.pop
	redef fun peek do return seq.last
end