@pasty @katka Yeah, it's not UB, it's low-level of abstraction vs. high-level of abstraction.
So effectively high/low are like if abstraction would be a boolean.
Meanwhile C is kind of fun as it can both be used at system (bootloader/kernel/…) levels and applications (where OS is abstracted) level.