need to debug executeSysCall