1. package body CPU_Counter is 
  2.  
  3.    protected body CPU_Count is 
  4.  
  5.       procedure Try_Check_One_Out (Got_One : out Boolean) is 
  6.  
  7.       begin 
  8.          Got_One                    := Available_CPUs > 1; 
  9.          Available_CPUs             := CPU'Max (CPU'First, CPU'Pred (Available_CPUs)); 
  10.          CPUs_Potentially_Available := Available_CPUs > 1; 
  11.       end Try_Check_One_Out; 
  12.  
  13.    end CPU_Count; 
  14.  
  15. end CPU_Counter;