The design of the Venus operating system | Synapse