Symbol: alloc_pid