depqbf: push returns an int