Pošljite SMS: Automated program synthesis