CONCORD_NAME_TABLE* concord_make_name_table (void);
void concord_destroy_name_table (CONCORD_NAME_TABLE* table);
int concord_name_table_put (CONCORD_NAME_TABLE* table,
CONCORD_NAME_TABLE* concord_make_name_table (void);
void concord_destroy_name_table (CONCORD_NAME_TABLE* table);
int concord_name_table_put (CONCORD_NAME_TABLE* table,