Zaslat SMS: PROGRMR: Grammar-Based Input Generation with Programmable Annotations