example of using result receiver