update S2E.cpp reading notes