Howto debug seg-faulting Ada 95 code?

[karlran@hotmail.com (Karl Ran)]

Hello,

I've written this nice, but not very useful, Ada 95 program:

------------------------------------------------------------
with Ada; use Ada;
with Ada.Text_IO;

procedure segfault_city is

   type Unsigned_8  is mod 2**8;
   for Unsigned_8'Size  use  8;
   type Data  is array( 0 .. 100 ) of Unsigned_8;
   type block is array( 0 .. 200 ) of Data;

   Buffers : array( 0 .. 310 ) of block;

   task type fifo_Task
   is
   end fifo_Task;

   My_fifo : fifo_Task;

   task body fifo_Task
   is
   begin
      Text_IO.Put_line("fifo_task ..");
   end fifo_Task;

begin
   Buffers( 0 )( 0 )( 0 ) := 0;
   Text_IO.Put_line("Welcome to segfault city ..");
end Segfault_city;
------------------------------------------------------------

It compiles fine with gnat 3.14p( options: -gnatwa -gnato -g )
but it fails miserably when I run it.

It either seg-faults immediately or it eats up all memory and 
gets killed. I tried it on P1, Celeron, P4 systems with
Linux 2.4.18/Suse7.1/8.0.

Some questions:
1. How do I debug seg-faults( this case and in general )?
2. Is this valid Ada 95 code?
3. Is this segfault-code 'portable' or are these just my, maybe, ill
   configured systems?

Karl,
who is still using 'bleeding-edge' technology...