/* local info for setpgid */
