These functions are no longer used. Deleted.