{TAIL ~ The computer program product} 15 wherein {HEAD ~ said program} means further powers up the selected processor after being serviced, and adds the selected processor to the processor pool, after being powered up 
{ TAIL ~ The computer program product } 15 wherein { HEAD ~ said program } means further powers up the selected processor after being serviced , and adds the selected processor to the processor pool , after being powered up
TAIL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH HEAD HEAD HEAD HEAD HEAD HEAD OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH