A Xare compiler