Edit File: syscalls_cfg_trunc.stp