die_if_kernel("Oops", regs, error_code);
They must often change, who would be constant in happiness or wisdom.
~Confucius
