format synopsis as code