TestRecordWithADT.icl 417 Bytes