let
new_vars = ref []