find a bug for readproc.c