Re: [PATCH] signal: Extend exec_id to 64bits