debugging, some kernel snippets