Fix #9: add examples for pushpull and pubsub