with Interfaces;
procedure Boot_Main (Magic : Interfaces.Unsigned_32)
  with Export, Convention => C, External_Name => "agila_boot_main", No_Return;