Note that the C version of this might compile but the result is undefined, so it could be what you intuitively thought what would happen, or anything else. Not

Note that the C version of this might compile but the result is undefined, so it could be what you intuitively thought what would happen, or anything else. Not what you want in a kernel.