RecordTest3.curry 1.08 KB