Hello, I have a single core Corext-M4 chip and I wonder, if some code pends an interrupt and then it executes, is there already a happen-before relationship, or I need to establish another one? What if interrupt was already pended but the context I currently at is supressing the interrupt and I pend it again? Does it even matter on those 1 core devices?