移植到新的s2e版本：