Print an uninitialized integer in Ada

hello.adb

-- Prints a nondeterministic integer value

with Ada.Text_IO; use Ada.Text_IO;


procedure Hello is
    subtype NumFingers  is Integer range 0..10;
    my_num_fingers : NumFingers; -- := 4;
begin
--  my_num_fingers; := 3;
    Put_Line ("The number is: " & my_num_fingers'Image);
end Hello;