let
name_table = ref []