Clone option: PID shared between processes.
Source position: linux.pp line 74
const CLONE_PID = $00001000;