Fixing ifmask32 code type