#ifndef   __REAL_EINTERNAL_TMP_256_32MSB
#define   __REAL_EINTERNAL_TMP_256_32MSB

#if BITS_PER_EMUSHORT == 32


#else  /* BITS_PER_EMUSHORT != 32 */
#error ei_tmp_256_emu32msb.dfn: ERROR: Failed size of EMUSHORT data type.
#endif /* BITS_PER_EMUSHORT == 32 */

#endif /* __REAL_EINTERNAL_TMP_256_32MSB */