let varDefs: VS.t ref = ref VS.empty