Edit File: sysc_sys32_getdents.stp