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