DAVILEX COMPILATION