Rename SystemCall to Thunk in the syscalls module; add system call number assertions to entry points