Searched refs:header_index (Results 1 – 1 of 1) sorted by relevance
1072 my $header_index = shift;1074 die "invalid adt_event_N.h index: $header_index\n"1075 unless ($header_index =~ /^\d+$/);1077 $headers{$header_index} = $header_index;