Edit File: syscall_num.stp