Storage.curry 432 Bytes