module GNOME {
  interface MagicDev {
    void reread_config();
    boolean is_running();
  };
};