ref: 670f4e90ee6028ffee399e5a96fb5e4cd72fc7bc
#!/dis/sh.dis load std if {~ $#* 1} {U=$1} {U=`{cat /dev/user}} ps | sed -n -e '/^[ ]*[0-9]+[ ]+[0-9]+[ ]+'$U'.*broken/s%^[ ]*([0-9]+)[ ]+.*([^ ]+)$%echo kill>/prog/\1/ctl # &%p'