b~main.ads

Ada 2005 Training Notes.

pragma Ada_95;
with System;
package ada_main is
   pragma Warnings (Off);

   gnat_argc : Integer;
   gnat_argv : System.Address;
   gnat_envp : System.Address;

   pragma Import (C, gnat_argc);
   pragma Import (C, gnat_argv);
   pragma Import (C, gnat_envp);

   gnat_exit_status : Integer;
   pragma Import (C, gnat_exit_status);

   GNAT_Version : constant String :=
                    "GNAT Version: GPL 2007 (20070405-41)";
   pragma Export (C, GNAT_Version, "__gnat_version");

   Ada_Main_Program_Name : constant String := "_ada_main" & Ascii.NUL;
   pragma Export (C, Ada_Main_Program_Name, "__gnat_ada_main_program_name");

   procedure adafinal;
   pragma Export (C, adafinal, "adafinal");

   procedure adainit;
   pragma Export (C, adainit, "adainit");

   procedure Break_Start;
   pragma Import (C, Break_Start, "__gnat_break_start");

   function main
     (argc : Integer;
      argv : System.Address;
      envp : System.Address)
      return Integer;
   pragma Export (C, main, "main");

   type Version_32 is mod 2 ** 32;
   u00001 : constant Version_32 := 16#901a86de#;
   u00002 : constant Version_32 := 16#c2cc8187#;
   u00003 : constant Version_32 := 16#77b911ee#;
   u00004 : constant Version_32 := 16#9c7dd3ea#;
   u00005 : constant Version_32 := 16#17ea58bc#;
   u00006 : constant Version_32 := 16#91b8ea8f#;
   u00007 : constant Version_32 := 16#65c29710#;
   u00008 : constant Version_32 := 16#6cb6e67c#;
   u00009 : constant Version_32 := 16#b10233a8#;
   u00010 : constant Version_32 := 16#6a252e02#;
   u00011 : constant Version_32 := 16#06d20eea#;
   u00012 : constant Version_32 := 16#1342001d#;
   u00013 : constant Version_32 := 16#dc7465da#;
   u00014 : constant Version_32 := 16#4c0302b0#;
   u00015 : constant Version_32 := 16#f5fc5803#;
   u00016 : constant Version_32 := 16#50906f24#;
   u00017 : constant Version_32 := 16#f87b7d72#;
   u00018 : constant Version_32 := 16#7f6459fe#;
   u00019 : constant Version_32 := 16#233d107e#;
   u00020 : constant Version_32 := 16#36281ef1#;
   u00021 : constant Version_32 := 16#24dd7d74#;
   u00022 : constant Version_32 := 16#423fa2a0#;
   u00023 : constant Version_32 := 16#c1c09791#;
   u00024 : constant Version_32 := 16#726beeed#;
   u00025 : constant Version_32 := 16#934ac14e#;
   u00026 : constant Version_32 := 16#8cef510c#;
   u00027 : constant Version_32 := 16#da772157#;
   u00028 : constant Version_32 := 16#63c7c118#;
   u00029 : constant Version_32 := 16#943597fe#;
   u00030 : constant Version_32 := 16#373bd87b#;
   u00031 : constant Version_32 := 16#121e551c#;
   u00032 : constant Version_32 := 16#1e1b7442#;
   u00033 : constant Version_32 := 16#bd3a0b54#;
   u00034 : constant Version_32 := 16#716d879c#;
   u00035 : constant Version_32 := 16#fa27edb6#;
   u00036 : constant Version_32 := 16#a3c5007c#;
   u00037 : constant Version_32 := 16#ef1ec252#;
   u00038 : constant Version_32 := 16#c8bd293c#;
   u00039 : constant Version_32 := 16#53743e56#;
   u00040 : constant Version_32 := 16#d0f2e05a#;
   u00041 : constant Version_32 := 16#a69cad5c#;
   u00042 : constant Version_32 := 16#7d84fb54#;
   u00043 : constant Version_32 := 16#5551ae7d#;
   u00044 : constant Version_32 := 16#264aa8fc#;
   u00045 : constant Version_32 := 16#9f82c981#;
   u00046 : constant Version_32 := 16#a8d17654#;
   u00047 : constant Version_32 := 16#f1d200e8#;
   u00048 : constant Version_32 := 16#d1948220#;
   u00049 : constant Version_32 := 16#d33b9bc8#;
   u00050 : constant Version_32 := 16#9052caa2#;
   u00051 : constant Version_32 := 16#843e8c6d#;
   u00052 : constant Version_32 := 16#5cfc7386#;
   u00053 : constant Version_32 := 16#b7140ae3#;
   u00054 : constant Version_32 := 16#91652511#;
   u00055 : constant Version_32 := 16#62e56d2b#;
   u00056 : constant Version_32 := 16#a8e5b34e#;
   u00057 : constant Version_32 := 16#1a6522b8#;
   u00058 : constant Version_32 := 16#dee9b700#;
   u00059 : constant Version_32 := 16#c27069dc#;
   u00060 : constant Version_32 := 16#82d1af82#;
   u00061 : constant Version_32 := 16#68e20354#;
   u00062 : constant Version_32 := 16#13347f33#;
   u00063 : constant Version_32 := 16#09ab28a5#;
   u00064 : constant Version_32 := 16#ebc59bf5#;
   u00065 : constant Version_32 := 16#8ca16744#;
   u00066 : constant Version_32 := 16#293ff6f7#;
   u00067 : constant Version_32 := 16#1e737171#;
   u00068 : constant Version_32 := 16#716a9db2#;
   u00069 : constant Version_32 := 16#f7ac1f46#;
   u00070 : constant Version_32 := 16#2274d34a#;
   u00071 : constant Version_32 := 16#91f9f4f9#;
   u00072 : constant Version_32 := 16#d52b346c#;
   u00073 : constant Version_32 := 16#2622b0c9#;
   u00074 : constant Version_32 := 16#923573c8#;
   u00075 : constant Version_32 := 16#6606a394#;
   u00076 : constant Version_32 := 16#4207a1a5#;
   u00077 : constant Version_32 := 16#44552969#;
   u00078 : constant Version_32 := 16#d9276afb#;
   u00079 : constant Version_32 := 16#459fef1a#;
   u00080 : constant Version_32 := 16#808e35e2#;
   u00081 : constant Version_32 := 16#214f8fc2#;
   u00082 : constant Version_32 := 16#9d57bc17#;
   u00083 : constant Version_32 := 16#2977527a#;
   u00084 : constant Version_32 := 16#84f03d64#;
   u00085 : constant Version_32 := 16#4756c18f#;
   u00086 : constant Version_32 := 16#356a78c4#;

   pragma Export (C, u00001, "mainB");
   pragma Export (C, u00002, "system__standard_libraryB");
   pragma Export (C, u00003, "system__standard_libraryS");
   pragma Export (C, u00004, "adaS");
   pragma Export (C, u00005, "ada__text_ioB");
   pragma Export (C, u00006, "ada__text_ioS");
   pragma Export (C, u00007, "ada__exceptionsB");
   pragma Export (C, u00008, "ada__exceptionsS");
   pragma Export (C, u00009, "ada__exceptions__last_chance_handlerB");
   pragma Export (C, u00010, "ada__exceptions__last_chance_handlerS");
   pragma Export (C, u00011, "systemS");
   pragma Export (C, u00012, "system__soft_linksB");
   pragma Export (C, u00013, "system__soft_linksS");
   pragma Export (C, u00014, "system__parametersB");
   pragma Export (C, u00015, "system__parametersS");
   pragma Export (C, u00016, "system__secondary_stackB");
   pragma Export (C, u00017, "system__secondary_stackS");
   pragma Export (C, u00018, "system__storage_elementsB");
   pragma Export (C, u00019, "system__storage_elementsS");
   pragma Export (C, u00020, "system__stack_checkingB");
   pragma Export (C, u00021, "system__stack_checkingS");
   pragma Export (C, u00022, "system__exception_tableB");
   pragma Export (C, u00023, "system__exception_tableS");
   pragma Export (C, u00024, "system__htableB");
   pragma Export (C, u00025, "system__htableS");
   pragma Export (C, u00026, "system__exceptionsB");
   pragma Export (C, u00027, "system__exceptionsS");
   pragma Export (C, u00028, "system__string_opsB");
   pragma Export (C, u00029, "system__string_opsS");
   pragma Export (C, u00030, "system__string_ops_concat_3B");
   pragma Export (C, u00031, "system__string_ops_concat_3S");
   pragma Export (C, u00032, "system__tracebackB");
   pragma Export (C, u00033, "system__tracebackS");
   pragma Export (C, u00034, "system__unsigned_typesS");
   pragma Export (C, u00035, "system__wch_conB");
   pragma Export (C, u00036, "system__wch_conS");
   pragma Export (C, u00037, "system__wch_stwB");
   pragma Export (C, u00038, "system__wch_stwS");
   pragma Export (C, u00039, "system__wch_cnvB");
   pragma Export (C, u00040, "system__wch_cnvS");
   pragma Export (C, u00041, "interfacesS");
   pragma Export (C, u00042, "system__wch_jisB");
   pragma Export (C, u00043, "system__wch_jisS");
   pragma Export (C, u00044, "system__traceback_entriesB");
   pragma Export (C, u00045, "system__traceback_entriesS");
   pragma Export (C, u00046, "ada__streamsS");
   pragma Export (C, u00047, "ada__tagsB");
   pragma Export (C, u00048, "ada__tagsS");
   pragma Export (C, u00049, "system__val_unsB");
   pragma Export (C, u00050, "system__val_unsS");
   pragma Export (C, u00051, "system__val_utilB");
   pragma Export (C, u00052, "system__val_utilS");
   pragma Export (C, u00053, "system__case_utilB");
   pragma Export (C, u00054, "system__case_utilS");
   pragma Export (C, u00055, "interfaces__c_streamsB");
   pragma Export (C, u00056, "interfaces__c_streamsS");
   pragma Export (C, u00057, "system__crtlS");
   pragma Export (C, u00058, "system__file_ioB");
   pragma Export (C, u00059, "system__file_ioS");
   pragma Export (C, u00060, "ada__finalizationB");
   pragma Export (C, u00061, "ada__finalizationS");
   pragma Export (C, u00062, "system__finalization_rootB");
   pragma Export (C, u00063, "system__finalization_rootS");
   pragma Export (C, u00064, "system__finalization_implementationB");
   pragma Export (C, u00065, "system__finalization_implementationS");
   pragma Export (C, u00066, "system__restrictionsB");
   pragma Export (C, u00067, "system__restrictionsS");
   pragma Export (C, u00068, "system__stream_attributesB");
   pragma Export (C, u00069, "system__stream_attributesS");
   pragma Export (C, u00070, "ada__io_exceptionsS");
   pragma Export (C, u00071, "system__address_imageB");
   pragma Export (C, u00072, "system__address_imageS");
   pragma Export (C, u00073, "system__file_control_blockS");
   pragma Export (C, u00074, "ada__finalization__list_controllerB");
   pragma Export (C, u00075, "ada__finalization__list_controllerS");
   pragma Export (C, u00076, "randomB");
   pragma Export (C, u00077, "randomS");
   pragma Export (C, u00078, "stacksB");
   pragma Export (C, u00079, "stacksS");
   pragma Export (C, u00080, "ada__numericsS");
   pragma Export (C, u00081, "limitedprivatetypeB");
   pragma Export (C, u00082, "limitedprivatetypeS");
   pragma Export (C, u00083, "system__img_intB");
   pragma Export (C, u00084, "system__img_intS");
   pragma Export (C, u00085, "system__memoryB");
   pragma Export (C, u00086, "system__memoryS");

   --  BEGIN ELABORATION ORDER
   --  ada%s
   --  interfaces%s
   --  system%s
   --  system.address_image%s
   --  system.case_util%s
   --  system.case_util%b
   --  system.htable%s
   --  system.htable%b
   --  system.img_int%s
   --  system.parameters%s
   --  system.parameters%b
   --  system.crtl%s
   --  interfaces.c_streams%s
   --  interfaces.c_streams%b
   --  system.restrictions%s
   --  system.restrictions%b
   --  system.standard_library%s
   --  system.exceptions%s
   --  system.exceptions%b
   --  system.storage_elements%s
   --  system.storage_elements%b
   --  system.secondary_stack%s
   --  system.img_int%b
   --  system.address_image%b
   --  system.stack_checking%s
   --  system.stack_checking%b
   --  system.string_ops%s
   --  system.string_ops%b
   --  system.string_ops_concat_3%s
   --  system.string_ops_concat_3%b
   --  system.traceback%s
   --  system.traceback%b
   --  system.traceback_entries%s
   --  system.traceback_entries%b
   --  ada.exceptions%s
   --  ada.exceptions.last_chance_handler%s
   --  system.soft_links%s
   --  system.soft_links%b
   --  ada.exceptions.last_chance_handler%b
   --  system.secondary_stack%b
   --  system.exception_table%s
   --  system.exception_table%b
   --  ada.io_exceptions%s
   --  ada.numerics%s
   --  ada.tags%s
   --  ada.streams%s
   --  system.finalization_root%s
   --  system.finalization_root%b
   --  system.memory%s
   --  system.memory%b
   --  system.standard_library%b
   --  system.unsigned_types%s
   --  system.stream_attributes%s
   --  system.stream_attributes%b
   --  system.finalization_implementation%s
   --  system.finalization_implementation%b
   --  ada.finalization%s
   --  ada.finalization%b
   --  ada.finalization.list_controller%s
   --  ada.finalization.list_controller%b
   --  system.file_control_block%s
   --  system.file_io%s
   --  system.file_io%b
   --  ada.text_io%s
   --  ada.text_io%b
   --  system.val_uns%s
   --  system.val_util%s
   --  system.val_util%b
   --  system.val_uns%b
   --  system.wch_con%s
   --  system.wch_con%b
   --  system.wch_cnv%s
   --  system.wch_jis%s
   --  system.wch_jis%b
   --  system.wch_cnv%b
   --  system.wch_stw%s
   --  system.wch_stw%b
   --  ada.tags%b
   --  ada.exceptions%b
   --  limitedprivatetype%s
   --  limitedprivatetype%b
   --  random%s
   --  random%b
   --  stacks%s
   --  stacks%b
   --  main%b
   --  END ELABORATION ORDER

end ada_main;