I put this change in. I used afs_int32 instead of unsigned int for all of them, because it looks like they need to be 32 bits for rx. Next person who looks at this code should consider: 1. Should rx_WriteProc (and rxi_WriteProc) take (void *) instead of (char *)? 2. Should afsfileprocs.c make use of rx_WriteProc32?