Re: [armedbear-devel] [PATCH] SYS:GETPID