let changed = ref Set.empty