# double-ended queue