};
void select_buffer(std::vector<SelectRecord> &);
+void init_names();
+void push_name(uint);
+void pop_name();
+void load_name(uint);
+
void parse_select_records(const uint *buf, uint, std::vector<SelectRecord> &);
void _parse_internal_select_records(uint);