RecordTest.curry 62 Bytes