queues should support value_pop()