IDL source Global index
void disconnect_push_consumer();
void push(in any data) raises(Disconnected);