Create aludec.v