sketched out Correspondence compiler