private package Support.Win is
function Executable_Extension return String;
pragma Postcondition( Executable_Extension'Result'Length > 0 );
function Executable_Path return String;
pragma Postcondition( Executable_Path'Result'Length > 0 );
function Home_Directory return String;
pragma Postcondition( Home_Directory'Result'Length > 0 );
function System_Font_Directory return String;
end Support.Win;