Edit File: aux_syscalls.stp