Title: Compilation via an intermediate language