1. -- 
  2. -- Copyright (c) 2012 Kevin Wellwood 
  3. -- All rights reserved. 
  4. -- 
  5. -- This source code is distributed under the Modified BSD License. For terms and 
  6. -- conditions, see license.txt. 
  7. -- 
  8.  
  9. -- These restrictions prevent the 'abort' statement from being used in order to 
  10. -- reduce runtime overhead. 
  11. -- http://docs.adacore.com/gnat-unw-docs.html/gnat_ugn_8.html#SEC88 
  12. pragma Restrictions( No_Abort_Statements ); 
  13. pragma Restrictions( Max_Asynchronous_Select_Nesting => 0 ); 
  14.  
  15. package Engine is 
  16.  
  17.     pragma Elaborate_Body; 
  18.  
  19. end Engine;