Re: Seems long long is always 64 bits, but who can say about int, from: http://www.ibm.com/developerworks/library/l-port64/index.html

This suggests that Redhat, if it is like "most Linuxes", still has a 32-bit int on the 64-bit OS.  (You could easily check it by writing a simple program that prints out sizeof int, or even print out "sizeof (state)" or whatever, sizeof seems to be broadly used in the data dumps in these programs.

http://en.wikipedia.org/wiki/64-bit

64-bit data models

Data model	short (integer)	int	long(integer)	longlong	pointers/size_t	Sample operating systems
LLP64/ IL32P64	16	32	32	64	64	Microsoft Windows (X64/IA-64)
LP64/ I32LP64	16	32	64	64	64	Most Unix and Unix-like systems, e.g. Solaris, Linux, and Mac OS X; z/OS
ILP64	16	64	64	64	64	HAL Computer Systems port of Solaris to SPARC64
SILP64	64	64	64	64	64	Unicos