(make_process): Use allocate_process.