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