Here are some debugging tools.
These functions are for debugging the kernel interpreter itself, and are not intended for users.