read_types
"Types", select_types, read_types, sort_types, print_header,
int read_types(void);
read_types();