#443 pushE: readFromとwriteToを定義した