Demystifying magic: high-level low-level programming
Language support for fast and reliable message-based communication in singularity OS