(def_union): Comment out dead code.