An implementation of the ATK interfaces for GNOME widgets