void push_handler(void *privdata, void *reply) {
    int *counter = privdata;
    freeReplyObject(reply);
    *counter += 1;
}
void push_handler(void *privdata, void *reply) {
    int *counter = privdata;
    freeReplyObject(reply);
    *counter += 1;
}