/* Opaque pointer types. This little magic gains us some type checking. ANSI warning: If you have a really really weird machine (one that has different pointer sizes or types for different pointed-to objects), you might need to typedef void *ggi_*_t; instead. */