Update array_record.h