read_irep_record_1() and read_irep_record() may return NULL.
Attach a file by drag & drop or click to upload
