my @claim_records = ();
while (<CLAIMS>) {
    push(@claim_records, read_record($_));
}