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