#ifndef   __REAL_EINTERNAL_TMP_512_32LSB
#define   __REAL_EINTERNAL_TMP_512_32LSB

#if BITS_PER_EMUSHORT == 32


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

#endif /* __REAL_EINTERNAL_TMP_512_32LSB */