pragma Ada_95;
pragma Source_File_Name (ada_main, Spec_File_Name => "b~spark_dns_main.ads");
pragma Source_File_Name (ada_main, Body_File_Name => "b~spark_dns_main.adb");

with System.Restrictions;
with Ada.Exceptions;

package body ada_main is
   pragma Warnings (Off);

   E020 : Short_Integer; pragma Import (Ada, E020, "system__soft_links_E");
   E249 : Short_Integer; pragma Import (Ada, E249, "system__fat_flt_E");
   E225 : Short_Integer; pragma Import (Ada, E225, "system__fat_llf_E");
   E014 : Short_Integer; pragma Import (Ada, E014, "system__exception_table_E");
   E124 : Short_Integer; pragma Import (Ada, E124, "ada__io_exceptions_E");
   E011 : Short_Integer; pragma Import (Ada, E011, "ada__strings_E");
   E053 : Short_Integer; pragma Import (Ada, E053, "ada__strings__maps_E");
   E057 : Short_Integer; pragma Import (Ada, E057, "ada__strings__maps__constants_E");
   E059 : Short_Integer; pragma Import (Ada, E059, "ada__tags_E");
   E121 : Short_Integer; pragma Import (Ada, E121, "ada__streams_E");
   E075 : Short_Integer; pragma Import (Ada, E075, "interfaces__c_E");
   E077 : Short_Integer; pragma Import (Ada, E077, "interfaces__c__strings_E");
   E032 : Short_Integer; pragma Import (Ada, E032, "system__exceptions_E");
   E142 : Short_Integer; pragma Import (Ada, E142, "system__finalization_root_E");
   E140 : Short_Integer; pragma Import (Ada, E140, "ada__finalization_E");
   E156 : Short_Integer; pragma Import (Ada, E156, "system__storage_pools_E");
   E150 : Short_Integer; pragma Import (Ada, E150, "system__finalization_masters_E");
   E162 : Short_Integer; pragma Import (Ada, E162, "system__storage_pools__subpools_E");
   E093 : Short_Integer; pragma Import (Ada, E093, "system__task_info_E");
   E276 : Short_Integer; pragma Import (Ada, E276, "ada__synchronous_task_control_E");
   E292 : Short_Integer; pragma Import (Ada, E292, "ada__calendar_E");
   E158 : Short_Integer; pragma Import (Ada, E158, "system__pool_global_E");
   E195 : Short_Integer; pragma Import (Ada, E195, "gnat__sockets_E");
   E148 : Short_Integer; pragma Import (Ada, E148, "system__file_control_block_E");
   E132 : Short_Integer; pragma Import (Ada, E132, "ada__streams__stream_io_E");
   E138 : Short_Integer; pragma Import (Ada, E138, "system__file_io_E");
   E202 : Short_Integer; pragma Import (Ada, E202, "system__pool_size_E");
   E024 : Short_Integer; pragma Import (Ada, E024, "system__secondary_stack_E");
   E200 : Short_Integer; pragma Import (Ada, E200, "gnat__sockets__thin_common_E");
   E198 : Short_Integer; pragma Import (Ada, E198, "gnat__sockets__thin_E");
   E145 : Short_Integer; pragma Import (Ada, E145, "system__os_lib_E");
   E130 : Short_Integer; pragma Import (Ada, E130, "system__strings__stream_ops_E");
   E260 : Short_Integer; pragma Import (Ada, E260, "system__tasking__initialization_E");
   E067 : Short_Integer; pragma Import (Ada, E067, "system__tasking__protected_objects_E");
   E212 : Short_Integer; pragma Import (Ada, E212, "ada__real_time_E");
   E182 : Short_Integer; pragma Import (Ada, E182, "ada__text_io_E");
   E262 : Short_Integer; pragma Import (Ada, E262, "system__tasking__protected_objects__entries_E");
   E266 : Short_Integer; pragma Import (Ada, E266, "system__tasking__queuing_E");
   E272 : Short_Integer; pragma Import (Ada, E272, "system__tasking__stages_E");
   E168 : Short_Integer; pragma Import (Ada, E168, "dns_types_E");
   E191 : Short_Integer; pragma Import (Ada, E191, "dns_network_E");
   E252 : Short_Integer; pragma Import (Ada, E252, "dns_network_receive_E");
   E210 : Short_Integer; pragma Import (Ada, E210, "multitask_process_dns_request_E");
   E218 : Short_Integer; pragma Import (Ada, E218, "protected_spark_io_05_E");
   E193 : Short_Integer; pragma Import (Ada, E193, "socket_timeout_E");
   E178 : Short_Integer; pragma Import (Ada, E178, "spark__ada__text_io_E");
   E180 : Short_Integer; pragma Import (Ada, E180, "spark__ada__text_io__not_spark_E");
   E184 : Short_Integer; pragma Import (Ada, E184, "spark_ada_command_line_E");
   E274 : Short_Integer; pragma Import (Ada, E274, "task_limit_E");
   E189 : Short_Integer; pragma Import (Ada, E189, "tcp_dns_package_E");
   E290 : Short_Integer; pragma Import (Ada, E290, "non_spark_stuff_E");
   E120 : Short_Integer; pragma Import (Ada, E120, "rr_type_E");
   E282 : Short_Integer; pragma Import (Ada, E282, "error_msgs_E");
   E126 : Short_Integer; pragma Import (Ada, E126, "rr_type__a_record_type_E");
   E127 : Short_Integer; pragma Import (Ada, E127, "rr_type__aaaa_record_type_E");
   E128 : Short_Integer; pragma Import (Ada, E128, "rr_type__cname_record_type_E");
   E163 : Short_Integer; pragma Import (Ada, E163, "rr_type__dnskey_record_type_E");
   E164 : Short_Integer; pragma Import (Ada, E164, "rr_type__mx_record_type_E");
   E165 : Short_Integer; pragma Import (Ada, E165, "rr_type__ns_record_type_E");
   E166 : Short_Integer; pragma Import (Ada, E166, "rr_type__nsec_record_type_E");
   E172 : Short_Integer; pragma Import (Ada, E172, "rr_type__ptr_record_type_E");
   E173 : Short_Integer; pragma Import (Ada, E173, "rr_type__rrsig_record_type_E");
   E288 : Short_Integer; pragma Import (Ada, E288, "parser_utilities_E");
   E294 : Short_Integer; pragma Import (Ada, E294, "process_first_line_of_record_E");
   E174 : Short_Integer; pragma Import (Ada, E174, "rr_type__soa_record_type_E");
   E005 : Short_Integer; pragma Import (Ada, E005, "dns_table_pkg_E");
   E216 : Short_Integer; pragma Import (Ada, E216, "process_dns_request_E");
   E278 : Short_Integer; pragma Import (Ada, E278, "udp_dns_package_E");
   E280 : Short_Integer; pragma Import (Ada, E280, "zone_file_io_E");
   E296 : Short_Integer; pragma Import (Ada, E296, "zone_file_parser_E");

   Local_Priority_Specific_Dispatching : constant String := "";
   Local_Interrupt_States : constant String := "";

   Is_Elaborated : Boolean := False;

   procedure finalize_library is
   begin
      declare
         procedure F1;
         pragma Import (Ada, F1, "udp_dns_package__finalize_body");
      begin
         E278 := E278 - 1;
         F1;
      end;
      declare
         procedure F2;
         pragma Import (Ada, F2, "tcp_dns_package__finalize_body");
      begin
         E189 := E189 - 1;
         F2;
      end;
      E005 := E005 - 1;
      declare
         procedure F3;
         pragma Import (Ada, F3, "dns_table_pkg__finalize_spec");
      begin
         F3;
      end;
      declare
         procedure F4;
         pragma Import (Ada, F4, "rr_type__soa_record_type__finalize_spec");
      begin
         E174 := E174 - 1;
         F4;
      end;
      declare
         procedure F5;
         pragma Import (Ada, F5, "rr_type__rrsig_record_type__finalize_spec");
      begin
         E173 := E173 - 1;
         F5;
      end;
      declare
         procedure F6;
         pragma Import (Ada, F6, "rr_type__ptr_record_type__finalize_spec");
      begin
         E172 := E172 - 1;
         F6;
      end;
      declare
         procedure F7;
         pragma Import (Ada, F7, "rr_type__nsec_record_type__finalize_spec");
      begin
         E166 := E166 - 1;
         F7;
      end;
      declare
         procedure F8;
         pragma Import (Ada, F8, "rr_type__ns_record_type__finalize_spec");
      begin
         E165 := E165 - 1;
         F8;
      end;
      declare
         procedure F9;
         pragma Import (Ada, F9, "rr_type__mx_record_type__finalize_spec");
      begin
         E164 := E164 - 1;
         F9;
      end;
      declare
         procedure F10;
         pragma Import (Ada, F10, "rr_type__dnskey_record_type__finalize_spec");
      begin
         E163 := E163 - 1;
         F10;
      end;
      declare
         procedure F11;
         pragma Import (Ada, F11, "rr_type__cname_record_type__finalize_spec");
      begin
         E128 := E128 - 1;
         F11;
      end;
      declare
         procedure F12;
         pragma Import (Ada, F12, "rr_type__aaaa_record_type__finalize_spec");
      begin
         E127 := E127 - 1;
         F12;
      end;
      declare
         procedure F13;
         pragma Import (Ada, F13, "rr_type__a_record_type__finalize_spec");
      begin
         E126 := E126 - 1;
         F13;
      end;
      E120 := E120 - 1;
      declare
         procedure F14;
         pragma Import (Ada, F14, "rr_type__finalize_spec");
      begin
         F14;
      end;
      E218 := E218 - 1;
      declare
         procedure F15;
         pragma Import (Ada, F15, "protected_spark_io_05__finalize_spec");
      begin
         F15;
      end;
      E262 := E262 - 1;
      declare
         procedure F16;
         pragma Import (Ada, F16, "system__tasking__protected_objects__entries__finalize_spec");
      begin
         F16;
      end;
      E182 := E182 - 1;
      declare
         procedure F17;
         pragma Import (Ada, F17, "ada__text_io__finalize_spec");
      begin
         F17;
      end;
      declare
         procedure F18;
         pragma Import (Ada, F18, "gnat__sockets__finalize_body");
      begin
         E195 := E195 - 1;
         F18;
      end;
      declare
         procedure F19;
         pragma Import (Ada, F19, "system__file_io__finalize_body");
      begin
         E138 := E138 - 1;
         F19;
      end;
      E150 := E150 - 1;
      E162 := E162 - 1;
      E202 := E202 - 1;
      declare
         procedure F20;
         pragma Import (Ada, F20, "system__pool_size__finalize_spec");
      begin
         F20;
      end;
      E132 := E132 - 1;
      declare
         procedure F21;
         pragma Import (Ada, F21, "ada__streams__stream_io__finalize_spec");
      begin
         F21;
      end;
      declare
         procedure F22;
         pragma Import (Ada, F22, "system__file_control_block__finalize_spec");
      begin
         E148 := E148 - 1;
         F22;
      end;
      declare
         procedure F23;
         pragma Import (Ada, F23, "gnat__sockets__finalize_spec");
      begin
         F23;
      end;
      E158 := E158 - 1;
      declare
         procedure F24;
         pragma Import (Ada, F24, "system__pool_global__finalize_spec");
      begin
         F24;
      end;
      E276 := E276 - 1;
      declare
         procedure F25;
         pragma Import (Ada, F25, "ada__synchronous_task_control__finalize_spec");
      begin
         F25;
      end;
      declare
         procedure F26;
         pragma Import (Ada, F26, "system__storage_pools__subpools__finalize_spec");
      begin
         F26;
      end;
      declare
         procedure F27;
         pragma Import (Ada, F27, "system__finalization_masters__finalize_spec");
      begin
         F27;
      end;
      declare
         procedure Reraise_Library_Exception_If_Any;
            pragma Import (Ada, Reraise_Library_Exception_If_Any, "__gnat_reraise_library_exception_if_any");
      begin
         Reraise_Library_Exception_If_Any;
      end;
   end finalize_library;

   procedure adafinal is
      procedure s_stalib_adafinal;
      pragma Import (C, s_stalib_adafinal, "system__standard_library__adafinal");
   begin
      if not Is_Elaborated then
         return;
      end if;
      Is_Elaborated := False;
      s_stalib_adafinal;
   end adafinal;

   type No_Param_Proc is access procedure;

   procedure adainit is
      Main_Priority : Integer;
      pragma Import (C, Main_Priority, "__gl_main_priority");
      Time_Slice_Value : Integer;
      pragma Import (C, Time_Slice_Value, "__gl_time_slice_val");
      WC_Encoding : Character;
      pragma Import (C, WC_Encoding, "__gl_wc_encoding");
      Locking_Policy : Character;
      pragma Import (C, Locking_Policy, "__gl_locking_policy");
      Queuing_Policy : Character;
      pragma Import (C, Queuing_Policy, "__gl_queuing_policy");
      Task_Dispatching_Policy : Character;
      pragma Import (C, Task_Dispatching_Policy, "__gl_task_dispatching_policy");
      Priority_Specific_Dispatching : System.Address;
      pragma Import (C, Priority_Specific_Dispatching, "__gl_priority_specific_dispatching");
      Num_Specific_Dispatching : Integer;
      pragma Import (C, Num_Specific_Dispatching, "__gl_num_specific_dispatching");
      Main_CPU : Integer;
      pragma Import (C, Main_CPU, "__gl_main_cpu");
      Interrupt_States : System.Address;
      pragma Import (C, Interrupt_States, "__gl_interrupt_states");
      Num_Interrupt_States : Integer;
      pragma Import (C, Num_Interrupt_States, "__gl_num_interrupt_states");
      Unreserve_All_Interrupts : Integer;
      pragma Import (C, Unreserve_All_Interrupts, "__gl_unreserve_all_interrupts");
      Zero_Cost_Exceptions : Integer;
      pragma Import (C, Zero_Cost_Exceptions, "__gl_zero_cost_exceptions");
      Detect_Blocking : Integer;
      pragma Import (C, Detect_Blocking, "__gl_detect_blocking");
      Default_Stack_Size : Integer;
      pragma Import (C, Default_Stack_Size, "__gl_default_stack_size");
      Leap_Seconds_Support : Integer;
      pragma Import (C, Leap_Seconds_Support, "__gl_leap_seconds_support");

      procedure Install_Handler;
      pragma Import (C, Install_Handler, "__gnat_install_handler");

      Handler_Installed : Integer;
      pragma Import (C, Handler_Installed, "__gnat_handler_installed");

      Finalize_Library_Objects : No_Param_Proc;
      pragma Import (C, Finalize_Library_Objects, "__gnat_finalize_library_objects");
   begin
      if Is_Elaborated then
         return;
      end if;
      Is_Elaborated := True;
      Main_Priority := 0;
      Time_Slice_Value := -1;
      WC_Encoding := 'b';
      Locking_Policy := ' ';
      Queuing_Policy := ' ';
      Task_Dispatching_Policy := ' ';
      System.Restrictions.Run_Time_Restrictions :=
        (Set =>
          (False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False, False, False, 
           False, False, False, False, False, False),
         Value => (0, 0, 0, 0, 0, 0, 0),
         Violated =>
          (False, False, True, True, False, False, False, True, 
           False, True, True, True, True, False, False, True, 
           False, False, True, True, False, True, True, True, 
           True, True, True, False, True, True, False, True, 
           False, False, True, False, True, True, False, False, 
           False, True, False, False, True, False, True, True, 
           False, False, False, True, False, True, True, True, 
           False, False, True, False, False, True, False, True, 
           False, False, True, True, True, False, True, False, 
           False, True, True, False, True, False),
         Count => (0, 0, 1, 3, 0, 5, 0),
         Unknown => (False, False, False, True, False, True, False));
      Priority_Specific_Dispatching :=
        Local_Priority_Specific_Dispatching'Address;
      Num_Specific_Dispatching := 0;
      Main_CPU := -1;
      Interrupt_States := Local_Interrupt_States'Address;
      Num_Interrupt_States := 0;
      Unreserve_All_Interrupts := 0;
      Zero_Cost_Exceptions := 1;
      Detect_Blocking := 0;
      Default_Stack_Size := -1;
      Leap_Seconds_Support := 0;

      if Handler_Installed = 0 then
         Install_Handler;
      end if;

      Finalize_Library_Objects := finalize_library'access;

      System.Soft_Links'Elab_Spec;
      System.Fat_Flt'Elab_Spec;
      E249 := E249 + 1;
      System.Fat_Llf'Elab_Spec;
      E225 := E225 + 1;
      System.Exception_Table'Elab_Body;
      E014 := E014 + 1;
      Ada.Io_Exceptions'Elab_Spec;
      E124 := E124 + 1;
      Ada.Strings'Elab_Spec;
      E011 := E011 + 1;
      Ada.Strings.Maps'Elab_Spec;
      Ada.Strings.Maps.Constants'Elab_Spec;
      E057 := E057 + 1;
      Ada.Tags'Elab_Spec;
      Ada.Streams'Elab_Spec;
      E121 := E121 + 1;
      Interfaces.C'Elab_Spec;
      Interfaces.C.Strings'Elab_Spec;
      System.Exceptions'Elab_Spec;
      E032 := E032 + 1;
      System.Finalization_Root'Elab_Spec;
      E142 := E142 + 1;
      Ada.Finalization'Elab_Spec;
      E140 := E140 + 1;
      System.Storage_Pools'Elab_Spec;
      E156 := E156 + 1;
      System.Finalization_Masters'Elab_Spec;
      System.Storage_Pools.Subpools'Elab_Spec;
      System.Task_Info'Elab_Spec;
      E093 := E093 + 1;
      Ada.Synchronous_Task_Control'Elab_Spec;
      E276 := E276 + 1;
      Ada.Calendar'Elab_Spec;
      Ada.Calendar'Elab_Body;
      E292 := E292 + 1;
      System.Pool_Global'Elab_Spec;
      E158 := E158 + 1;
      Gnat.Sockets'Elab_Spec;
      System.File_Control_Block'Elab_Spec;
      E148 := E148 + 1;
      Ada.Streams.Stream_Io'Elab_Spec;
      E132 := E132 + 1;
      System.Pool_Size'Elab_Spec;
      E202 := E202 + 1;
      E162 := E162 + 1;
      System.Finalization_Masters'Elab_Body;
      E150 := E150 + 1;
      E077 := E077 + 1;
      E075 := E075 + 1;
      Ada.Tags'Elab_Body;
      E059 := E059 + 1;
      E053 := E053 + 1;
      System.Soft_Links'Elab_Body;
      E020 := E020 + 1;
      System.Secondary_Stack'Elab_Body;
      E024 := E024 + 1;
      Gnat.Sockets.Thin_Common'Elab_Spec;
      E200 := E200 + 1;
      Gnat.Sockets.Thin'Elab_Body;
      E198 := E198 + 1;
      System.Os_Lib'Elab_Body;
      E145 := E145 + 1;
      System.File_Io'Elab_Body;
      E138 := E138 + 1;
      System.Strings.Stream_Ops'Elab_Body;
      E130 := E130 + 1;
      Gnat.Sockets'Elab_Body;
      E195 := E195 + 1;
      System.Tasking.Initialization'Elab_Body;
      E260 := E260 + 1;
      System.Tasking.Protected_Objects'Elab_Body;
      E067 := E067 + 1;
      Ada.Real_Time'Elab_Spec;
      Ada.Real_Time'Elab_Body;
      E212 := E212 + 1;
      Ada.Text_Io'Elab_Spec;
      Ada.Text_Io'Elab_Body;
      E182 := E182 + 1;
      System.Tasking.Protected_Objects.Entries'Elab_Spec;
      E262 := E262 + 1;
      System.Tasking.Queuing'Elab_Body;
      E266 := E266 + 1;
      System.Tasking.Stages'Elab_Body;
      E272 := E272 + 1;
      E168 := E168 + 1;
      E252 := E252 + 1;
      Protected_Spark_Io_05'Elab_Spec;
      Protected_Spark_Io_05'Elab_Body;
      E218 := E218 + 1;
      E193 := E193 + 1;
      Dns_Network'Elab_Body;
      E191 := E191 + 1;
      E180 := E180 + 1;
      SPARK.ADA.TEXT_IO'ELAB_BODY;
      E178 := E178 + 1;
      E184 := E184 + 1;
      E274 := E274 + 1;
      Non_Spark_Stuff'Elab_Body;
      E290 := E290 + 1;
      Rr_Type'Elab_Spec;
      E120 := E120 + 1;
      Rr_Type.A_Record_Type'Elab_Spec;
      E126 := E126 + 1;
      Rr_Type.Aaaa_Record_Type'Elab_Spec;
      E127 := E127 + 1;
      Rr_Type.Cname_Record_Type'Elab_Spec;
      E128 := E128 + 1;
      Rr_Type.Dnskey_Record_Type'Elab_Spec;
      E163 := E163 + 1;
      Rr_Type.Mx_Record_Type'Elab_Spec;
      E164 := E164 + 1;
      Rr_Type.Ns_Record_Type'Elab_Spec;
      E165 := E165 + 1;
      Rr_Type.Nsec_Record_Type'Elab_Spec;
      E166 := E166 + 1;
      Error_Msgs'Elab_Body;
      E282 := E282 + 1;
      Rr_Type.Ptr_Record_Type'Elab_Spec;
      E172 := E172 + 1;
      Rr_Type.Rrsig_Record_Type'Elab_Spec;
      E173 := E173 + 1;
      Rr_Type.Soa_Record_Type'Elab_Spec;
      E174 := E174 + 1;
      E288 := E288 + 1;
      dns_table_pkg'elab_spec;
      E005 := E005 + 1;
      E216 := E216 + 1;
      Multitask_Process_Dns_Request'Elab_Body;
      E210 := E210 + 1;
      Tcp_Dns_Package'Elab_Body;
      E189 := E189 + 1;
      Udp_Dns_Package'Elab_Body;
      E278 := E278 + 1;
      E296 := E296 + 1;
      E280 := E280 + 1;
      E294 := E294 + 1;
   end adainit;

   procedure Ada_Main_Program;
   pragma Import (Ada, Ada_Main_Program, "_ada_spark_dns_main");

   function main
     (argc : Integer;
      argv : System.Address;
      envp : System.Address)
      return Integer
   is
      procedure Initialize (Addr : System.Address);
      pragma Import (C, Initialize, "__gnat_initialize");

      procedure Finalize;
      pragma Import (C, Finalize, "__gnat_finalize");
      SEH : aliased array (1 .. 2) of Integer;

      Ensure_Reference : aliased System.Address := Ada_Main_Program_Name'Address;
      pragma Volatile (Ensure_Reference);

   begin
      gnat_argc := argc;
      gnat_argv := argv;
      gnat_envp := envp;

      Initialize (SEH'Address);
      adainit;
      Ada_Main_Program;
      adafinal;
      Finalize;
      return (gnat_exit_status);
   end;

--  BEGIN Object file/option list
   --   .\dns_types.o
   --   .\dns_network_receive.o
   --   .\protected_spark_io_05.o
   --   .\socket_timeout.o
   --   .\dns_network.o
   --   .\spark.o
   --   .\spark-ada.o
   --   .\spark-ada-text_io-not_spark.o
   --   .\spark-ada-text_io.o
   --   .\spark_ada_command_line.o
   --   .\task_limit.o
   --   .\unsigned_types.o
   --   .\non_spark_stuff.o
   --   .\rr_type.o
   --   .\rr_type-a_record_type.o
   --   .\rr_type-aaaa_record_type.o
   --   .\rr_type-cname_record_type.o
   --   .\rr_type-dnskey_record_type.o
   --   .\rr_type-mx_record_type.o
   --   .\rr_type-ns_record_type.o
   --   .\rr_type-nsec_record_type.o
   --   .\error_msgs.o
   --   .\rr_type-ptr_record_type.o
   --   .\rr_type-rrsig_record_type.o
   --   .\rr_type-soa_record_type.o
   --   .\parser_utilities.o
   --   .\dns_table_pkg.o
   --   .\process_dns_request.o
   --   .\multitask_process_dns_request.o
   --   .\tcp_dns_package.o
   --   .\udp_dns_package.o
   --   .\spark_dns_main.o
   --   .\zone_file_parser.o
   --   .\zone_file_io.o
   --   .\process_first_line_of_record.o
   --   -L.\
   --   -LC:\Users\MARTIN~1.CAR\DOCUME~1\DARPA-~1\svn\trunk\
   --   -Lc:\spark\2011\lib\spark\
   --   -Lc:\spark\2011\lib\spark\current\
   --   -LC:/GNAT/2012/lib/gcc/i686-pc-mingw32/4.5.4/adalib/
   --   -static
   --   -lgnarl
   --   -lgnat
   --   -lws2_32
   --   -Xlinker
   --   --stack=0x200000,0x1000
   --   -mthreads
   --   -Wl,--stack=0x2000000
--  END Object file/option list   

end ada_main;
