A small example based on pushlet push