Some utilities that are used by FSet and also are useful in conjunction with FSet.