Threadkill and threadkillgrp return void, but current man pages 
say that they return int.

* important * 
The troff source I have submitted is wrong. I cannot edit it now. 
I changed  threadintgrp  instead of  threadkillgrp. Sorry.