-- S.MG, 2018 with Ada.Exceptions; use Ada.Exceptions; package body RNG is procedure Get_Octets( O: out Raw_Types.Octets ) is F : Octet_IO.File_Type; begin begin Octet_IO.Open( File => F, Mode => Octet_IO.In_File, Name => RNG_PATH ); for I in O'Range loop Octet_IO.Read( F, O(I) ); end loop; Octet_IO.Close(F); exception when others => Raise_Exception(FG_Failure'Identity, "Failed to access default RNG source!"); end; end Get_Octets; end RNG;