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