If a null pointer handler in a nuclear warhead firmware caused immediate detonation, that would certainly be correct according to C standard ;).