Zaslat SMS: Exploring crash-proof grammars