([] <> ((!np_) || (!queue_has_entry)))