process-exits, process-destination, some changes on types