Linux MININT32 and MAXINT32 definition