RecordTest.curry 268 Bytes