void gaa_version(void);