use inside cedet