Diagnostics

Trying to find a defect in the kernel? Great! Thanks for your contribution!