A high-level IR langauge for C++.