An implementation of the ATK interfaces for GTK+ widgets