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