Zaslať SMS: Annual Review in Automatic Programming 4