1. private package Support.Win is 
  2.  
  3.     function Executable_Extension return String; 
  4.     pragma Postcondition( Executable_Extension'Result'Length > 0 ); 
  5.  
  6.     function Executable_Path return String; 
  7.     pragma Postcondition( Executable_Path'Result'Length > 0 ); 
  8.  
  9.     function Home_Directory return String; 
  10.     pragma Postcondition( Home_Directory'Result'Length > 0 ); 
  11.  
  12.     function System_Font_Directory return String; 
  13.  
  14. end Support.Win;