Unfortunately, the size of a Go int isn't necessarily the same as a C int.

To be most careful, we might have to use int32 and int64 (and/or uint32 and uint64) explicitly in arch-specific files.