RecordTest3.curry 310 Bytes