incomplete:Kernel.syscall needs to be reviewed for spec completeness
