header_line = {
  version : string;
  sort_order : sort_order option;
}