[gujk]

Parent point is that once you have a nontrivial queue, very already lost, so it doesn't matter which style is faster.