modification de syscall.h