#443 pushE: readFromとwriteToを使用した例の作成