" S2E [ 4971 .]