HAT_COPIED_32
if ((hat->hat_flags & HAT_COPIED_32) != 0) {
hat->hat_flags |= HAT_COPIED_32;
if (hat->hat_flags & HAT_COPIED_32) {
if ((hat->hat_flags & HAT_COPIED_32) &&