RecordTest3.curry 966 Bytes