read_record.pro works in simple test