/* either 8 or 16 bit, 'int' being either 16, 32 or 64 bit, 'long' being */
/* either 32 or 64 bit, and 'long long' being 64 bit if 'long' is not, 64 or */
/* 128 bit otherwise. */
/* either 8 or 16 bit, 'int' being either 16, 32 or 64 bit, 'long' being */
/* either 32 or 64 bit, and 'long long' being 64 bit if 'long' is not, 64 or */
/* 128 bit otherwise. */