let fdefs = ref UD.VS.empty