let name_table = ref []