added assertions to uint_set and uint_pfn plus swap-based |=