Orca: a language for parallel programming of distributed systems | Synapse