Отправить по sms: Generic Programs and Proofs