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