incomplete:Kernel#at_exit needs to be reviewed for spec completeness
