Zaslat SMS: Practical aspects of declarative languages