Variables starting with `a' in src/gui-gtk