Відправити по sms: Generic Programs and Proofs