Example program synthesis code for generating regex validators - View it on GitHub