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