Joseph Koshy wrote: > > I had a problem with printing uint64_t values portably between > the AMD 64 and i386. printf("%jx", (uintmax_t)v); This is about as portable as you can get, since it's defined as part of Standard C. Cheers, Tim