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