Return the process-id of the currently executing OS process.