Symbol: kern_vars_t