/* local info for killpg */
