package Temporary_File is
   function Temporary_File(Path_Prefix: String; Seed: String) return String;
end Temporary_File;