Code Editor : syscalls_cfg_trunc.stp