Ignoring that the kernel has lots of raw machine code in it, "not possible" and undefined or implementation defined behaviour are different things either practi

Ignoring that the kernel has lots of raw machine code in it, "not possible" and undefined or implementation defined behaviour are different things either practically or in terms of programming language semantics.