Specify type for OS pids