Priority queue for Dart