Inline Assembler

with System.Machine_Code;
procedure Assembly is
   --  These are Cortex-M assembly statements! You're only supposed to
   --  look at the generated assembler, not to execute it.
   procedure Statements with Inline_Always is
   begin
      System.Machine_Code.Asm_Insn'
        (System.Machine_Code.Asm ("dsb", Volatile => True));
   end Statements;
begin
   System.Machine_Code.Asm ("dsb", Volatile => True);
   Statements;
end Assembly;