- removed unused ia32_INTMAX constant