A piece of library code which constructs a random division of a