Priority Queue stuff.

Don't want these to get deleted somehow, so pushing them to git.