here the requirement that ga_int is int32 is VERY strong. Is there something we can do to make this more sure/clear that it can't be int64 on some platform?