On Thu, 10 Jul 2003, David Botsch wrote: > Hi. I'm trying to find the definition of what an afs_int32 is, exactly. > > If someone knows what this is or where this is and could save me some > time, I'd appreciate it. It's a 32 bit integer for whatever your platform is. It's defined in afs/stds.h.