Edit File: sysc_socketpair.stp