The x-Kernel: an architecture for implementing network protocols | Synapse