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