Відправити по sms: Quoted staged rewriting: a practical approach to library-defined optimizations