guint64, gint64, AtkState?

Hi again Andrei, I've been looking at the handful of items that aren't being generated in ATK currently. One of the simplest-looking methods to fix probably doesn't need an override - it's just that we don't define guint64 or gint64 anywhere, and AtkState is a guint64 type. There doesn't seem to be anywhere else in GTK+ these are needed (in the sense that we need to know about them for args). Both types are used throughout glib, in a handful of private and 'semi-private' GtkFileSystem methods, and within the GtkTreeDataList struct, but nowhere else public. My compiler's happy if I simply add AtkState to the IntArg() list in the generator (making it "i", long, and cast to AtkState for the ATK call only). Is that approach kosher, or do I need to define the AtkState type as an OS-specific unsigned long long/__int64 in the overrides and write the function manually? If the latter, what should I give it where the generator presents "i", given that win32 treats long as 32-bit even in a 64-bit compile in PHP? - Steph