NZEC error in Ada

general
,
1

The RRCODE program runs without error on my personal computer. What causes Ada to produce the NZEC error on CodeChef?
The code is:

– Code Chef Problem RRCode –

with Ada.Text_Io; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_Io;
with Ada.Command_Line; use Ada.Command_Line;

procedure RRCODE is
type Data is mod 10**9 + 1;
subtype Index is Positive range 1…1000;
subtype T is Positive range 1…100;
type Data_Array is array(Index range <>) of Data;
type operations is (a, o, x);
Package Data_IO is new Ada.Text_IO.Modular_IO(Data);
use Data_IO;
function F (N : in Index;
K : in Data;
Answer : in Data;
Operator : in Operations;
The_Data : in Data_Array) return Data is
Temp : Data := Answer;
begin
for I in 1…K loop
for J in The_Data’Range loop
case Operator is
when a =>
Temp := Temp and The_Data(J);
when o =>
Temp := Temp or The_Data(J);
when x =>
Temp := Temp xor The_Data(j);
end case;
end loop;
end loop;
return Temp;
end F;
Tries : T;
N : Index;
K : Data;
Answer : Data;
Operator_String : String(1…10);
Operator_Length : Natural;
Opcode : Operations;
begin
Get(Item => Tries);
for Try in 1…Tries loop
Get(Item => N);
Get(Item => K);
Get(Item => Answer);
declare
The_Data : Data_Array(1…N);
begin
for I in The_Data’Range loop
Get(Item => The_Data(I));
end loop;
Skip_Line;
Get_Line(Item => Operator_String, Last => Operator_Length);
if Operator_String(1) = ‘A’ then
Opcode := a;
elsif Operator_String(1) = ‘O’ then
Opcode := o;
else
Opcode := x;
end if;
Put_Line(Data’Image(F(N, K, Answer, Opcode, The_Data)));
end;
end loop;
Set_Exit_Status(Code => Success);
end RRCODE;

2 
-- Code Chef Problem RRCode --
------------------------------------------------------------------
with Ada.Text_Io; use Ada.Text_IO;
with Ada.Integer_Text_IO; use Ada.Integer_Text_Io;
with Ada.Command_Line; use Ada.Command_Line;

procedure RRCODE is
   type Data is mod 10**9 + 1;
   subtype Index is Positive range 1..1000;
   subtype T is Positive range 1..100;
   type Data_Array is array(Index range <>) of Data;
   type operations is (a, o, x);
   Package Data_IO is new Ada.Text_IO.Modular_IO(Data);
   use Data_IO;
   function F (N : in Index;
               K : in Data;
               Answer : in Data;
               Operator : in Operations;
               The_Data : in Data_Array) return Data is
      Temp : Data := Answer;
   begin
      for I in 1..K loop
         for J in The_Data'Range loop
            case Operator is
               when a =>
                  Temp := Temp and The_Data(J);
               when o =>
                  Temp := Temp or The_Data(J);
               when x => 
                  Temp := Temp xor The_Data(j);
            end case;
         end loop;
      end loop;
      return Temp;
   end F;
   Tries : T;
   N : Index;
   K : Data;
   Answer : Data;
   Operator_String : String(1..10);
   Operator_Length : Natural;
   Opcode : Operations;
begin
   Get(Item => Tries);
   for Try in 1..Tries loop
      Get(Item => N);
      Get(Item => K);
      Get(Item => Answer);
      declare
         The_Data : Data_Array(1..N);
      begin
         for I in The_Data'Range loop
            Get(Item => The_Data(I));
         end loop;
         Skip_Line;
         Get_Line(Item => Operator_String, Last => Operator_Length);
         if Operator_String(1) = 'A' then
            Opcode := a;
         elsif Operator_String(1) = 'O' then
            Opcode := o;
         else
            Opcode := x;
         end if;
         Put_Line(Data'Image(F(N, K, Answer, Opcode, The_Data)));
      end;
   end loop;
   Set_Exit_Status(Code => Success);
end RRCODE;