C++ compiler for the programming language Wake: a fast, expressive, typesafe language built with testability from the ground up.